BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Modular Session Types for Objects

Participants in the publication
Simon J. Gay (Author)
Nils Gesbert (Author)
António Ravara (Author)
Vasco Thudichum Vasconcelos (Author)
UNIVERSIDADE DE LISBOA

Date of Publication
2015

Institution
UNIVERSIDADE DE LISBOA

Where published
LOGICAL METHODS IN COMPUTER SCIENCE

Publication Identifiers
ISSN - 1860-5974

Volume
11
Number
4

Starting page
1
Last page
76

Document Identifiers
DOI - https://doi.org/10.2168/lmcs-11(4:12)2015


Export

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 }