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...
| Egile Nagusiak: | , , , , |
|---|---|
| Formatua: | Journal article |
| Hizkuntza: | English |
| Argitaratua: |
Association for Computing Machinery
2022
|