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

BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Linearity, session types and the Pi calculus

Participantes na publicação
MARCO GIUNTI (Author)
VASCO THUDICHUM VASCONCELOS (Author)
Dep. Informática
LASIGE

Data de Publicação
2016-21

Suporte
Mathematical Structures in Computer Science

Identificadores da Publicação
ISSN - 0960-1295
eISSN - 1469-8072

Editora
Cambridge University Press (CUP)

Volume
26
Fascículo
2

Número de Páginas
31
Página Inicial
206
Página Final
237

Identificadores do Documento
URL - http://dx.doi.org/10.1017/s0960129514000176
DOI - https://doi.org/10.1017/s0960129514000176

Identificadores de Qualidade
SCIMAGO Q3 (2016) - 0.229 - Computer Science Applications


Exportar referência

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 }