@dblp

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

, , , , and . CONCUR, volume 59 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)

Links and resources

URL:
BibTeX key:
conf/concur/CarboneLMSW16
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication