论文标题
与输入竞赛的异步会议
Asynchronous Sessions with Input Races
论文作者
论文摘要
我们为异步多党会话提出了一个演算，其中允许在过程中使用不同发件人的输入选择。 我们提出了一种类型系统，该系统接受此类输入种族，只要它们不会阻碍锁定锁。
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input races provided they do not hinder lock-freedom.
