Exportar referência
APA
António Ravara, Pedro Resende, Vasco T. Vasconcelos, (2012). An Algebra of Behavioural Types. Information and Computation, 212, 64-91. ISSN 0890-5401. eISSN . http://dx.doi.org/10.1016/j.ic.2011.12.005
IEEE
António Ravara, Pedro Resende, Vasco T. Vasconcelos, "An Algebra of Behavioural Types" in Information and Computation, vol. 212, pp. 64-91, 2012.
10.1016/j.ic.2011.12.005
BIBTEX
@article{51005,
author = {António Ravara and Pedro Resende and Vasco T. Vasconcelos},
title = {An Algebra of Behavioural Types},
journal = {Information and Computation},
year = 2012,
pages = {64-91},
volume = 212
}