Exportar referência
APA
Vasco T. Vasconcelos, (2012). Fundamentals of session types. Information and Computation, 217, 52-70. ISSN 0890-5401. eISSN . http://dx.doi.org/10.1016/j.ic.2012.05.002
IEEE
Vasco T. Vasconcelos, "Fundamentals of session types" in Information and Computation, vol. 217, pp. 52-70, 2012.
10.1016/j.ic.2012.05.002
BIBTEX
@article{51006,
author = {Vasco T. Vasconcelos},
title = {Fundamentals of session types},
journal = {Information and Computation},
year = 2012,
pages = {52-70},
volume = 217
}