Results: 2
Characteristic bisimulation for higher-order session processes.
- Published in:
- Acta Informatica, 2017, v. 54, n. 3, p. 271, doi. 10.1007/s00236-016-0289-7
- By:
- Publication type:
- Article
Multiparty session types as coherence proofs.
- Published in:
- Acta Informatica, 2017, v. 54, n. 3, p. 243, doi. 10.1007/s00236-016-0285-y
- By:
- Publication type:
- Article