BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Fundamentals of session types

Participants in the publication
Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2012-08

Where published
Information and Computation

Publication Identifiers
ISSN - 0890-5401

Publisher
Elsevier BV

Volume
217

Number of pages
19
Starting page
52
Last page
70

Document Identifiers
DOI - https://doi.org/10.1016/j.ic.2012.05.002
URL - http://dx.doi.org/10.1016/j.ic.2012.05.002


Export

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 }