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.

Detalhes bibliográficos
Autor principal: Toninho, Bernardo (author)
Outros Autores: Yoshida, Nobuko (author)
Formato: article
Idioma:eng
Publicado em: 2019
Assuntos:
Classical linear logic
Multiparty sessions
Session types
Synthesis
Software
Texto completo:https://doi.org/10.1145/3242173
País:Portugal
Oai:oai:run.unl.pt:10362/65735

Texto Completo

https://doi.org/10.1145/3242173

Registos relacionados