Inproceedings,

Multiparty Session Types Within a Canonical Binary Theory, and Beyond.

, and .
FORTE, volume 9688 of Lecture Notes in Computer Science, page 74-95. Springer, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews