Precise subtyping for asynchronous multiparty sessions
Session subtyping is a cornerstone of refinement of communicating processes: a process implementing a session type (i.e., a communication protocol) 𝑇 can be safely used whenever a process implementing one of its supertypes 𝑇 ′ is expected, in any context, without introducing deadlocks nor other comm...
| मुख्य लेखकों: | , , , , |
|---|---|
| स्वरूप: | Journal article |
| भाषा: | English |
| प्रकाशित: |
Association for Computing Machinery
2022
|