Interconnectability of session-based logical processes

This work is supported by NOVA LINCS (UID/CEC/04516/2013), EPSRC EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1 and EP/N028201/1.

Bibliographic Details
Main Author: Toninho, Bernardo (author)
Other Authors: Yoshida, Nobuko (author)
Format: article
Language:eng
Published: 2019
Subjects:
Classical linear logic
Multiparty sessions
Session types
Synthesis
Software
Online Access:https://doi.org/10.1145/3242173
Country:Portugal
Oai:oai:run.unl.pt:10362/65735

Internet

https://doi.org/10.1145/3242173

Similar Items