[HTML][HTML] Session ty** and asynchronous subty** for the higher-order π-calculus
D Mostrous, N Yoshida - Information and Computation, 2015 - Elsevier
This paper proposes a session ty** system for the higher-order π-calculus (the HOπ-
calculus) with asynchronous communication subty**, which allows partial commutativity of …
calculus) with asynchronous communication subty**, which allows partial commutativity of …
Affine sessions
D Mostrous, VT Vasconcelos - Logical Methods in Computer …, 2018 - lmcs.episciences.org
Session types describe the structure of communications implemented by channels. In
particular, they prescribe the sequence of communications, whether they are input or output …
particular, they prescribe the sequence of communications, whether they are input or output …
[PDF][PDF] Publicações do DI
Publicações do DI 2014 Page 1 Publicações do DI 2014 (Livros, capítulos de livros, artigos
em revistas e conferências internacionais) 1. Alysson Bessani, Leucio A. Cutillo, Gianluca …
em revistas e conferências internacionais) 1. Alysson Bessani, Leucio A. Cutillo, Gianluca …