Precise subtyping for synchronous multiparty sessions
The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different point...
| 发表在: | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Main Authors: | , , , , |
| 格式: | 文件 |
| 语言: | 英语 |
| 出版: |
Open Publishing Association
2016-02-01
|
| 在线阅读: | http://arxiv.org/pdf/1602.03593v1 |