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...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Association for Computing Machinery
2022
|