Exportar referência
APA
Dimitris Mostrous, Nobuko Yoshida, (2015). Session typing and asynchronous subtyping for the higher-order pi-calculus. INFORMATION AND COMPUTATION, 241, 227-263. ISSN 0890-5401. eISSN .
IEEE
Dimitris Mostrous, Nobuko Yoshida, "Session typing and asynchronous subtyping for the higher-order pi-calculus" in INFORMATION AND COMPUTATION, vol. 241, pp. 227-263, 2015.
10.1016/j.ic.2015.02.002
BIBTEX
@article{34348,
author = {Dimitris Mostrous and Nobuko Yoshida},
title = {Session typing and asynchronous subtyping for the higher-order pi-calculus},
journal = {INFORMATION AND COMPUTATION},
year = 2015,
pages = {227-263},
volume = 241
}