Fingerprint
Dive into the research topics of 'On the boundary between decidability and undecidability of asynchronous session subtyping'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
On the boundary between decidability and undecidability of asynchronous session subtyping
Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review