Notice (8): Undefined offset: 20 [APP/Controller/Component/ExportarComponent.php, line 45]
Linearity, session types and the Pi calculus | Publication details | BIBLIOS - Ciências ULisboa

BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Linearity, session types and the Pi calculus

Participants in the publication
MARCO GIUNTI (Author)
VASCO THUDICHUM VASCONCELOS (Author)
Dep. Informática
LASIGE

Date of Publication
2016-21

Where published
Mathematical Structures in Computer Science

Publication Identifiers
ISSN - 0960-1295
eISSN - 1469-8072

Publisher
Cambridge University Press (CUP)

Volume
26
Number
2

Number of pages
31
Starting page
206
Last page
237

Document Identifiers
URL - http://dx.doi.org/10.1017/s0960129514000176
DOI - https://doi.org/10.1017/s0960129514000176

Rankings
SCIMAGO Q3 (2016) - 0.229 - Computer Science Applications


Export

APA
MARCO GIUNTI, VASCO THUDICHUM VASCONCELOS, (2016). Linearity, session types and the Pi calculus. Mathematical Structures in Computer Science, 26, 206-237. ISSN 0960-1295. eISSN 1469-8072. http://dx.doi.org/10.1017/s0960129514000176

IEEE
MARCO GIUNTI, VASCO THUDICHUM VASCONCELOS, "Linearity, session types and the Pi calculus" in Mathematical Structures in Computer Science, vol. 26, pp. 206-237, 2016. 10.1017/s0960129514000176

BIBTEX
@article{41847, author = {MARCO GIUNTI and VASCO THUDICHUM VASCONCELOS}, title = {Linearity, session types and the Pi calculus}, journal = {Mathematical Structures in Computer Science}, year = 2016, pages = {206-237}, volume = 26 }