Exportar referência
APA
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos, (2015). Modular Session Types for Objects. LOGICAL METHODS IN COMPUTER SCIENCE, 11, 1-76. ISSN 1860-5974. eISSN .
IEEE
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos, "Modular Session Types for Objects" in LOGICAL METHODS IN COMPUTER SCIENCE, vol. 11, pp. 1-76, 2015.
10.2168/lmcs-11(4:12)2015
BIBTEX
@article{34360,
author = {Simon J. Gay and Nils Gesbert and António Ravara and Vasco Thudichum Vasconcelos},
title = {Modular Session Types for Objects},
journal = {LOGICAL METHODS IN COMPUTER SCIENCE},
year = 2015,
pages = {1-76},
volume = 11
}