Symbolic Semantics for Multiparty Interactions in the Link-Calculus

SOFSEM 2017: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-51963-0_6 ◽

2017 ◽

pp. 62-75 ◽

Cited By ~ 1

Author(s):

Linda Brodo ◽

Carlos Olarte

Download Full-text