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
Fundamentals of session types

Participantes na publicação
Vasco T. Vasconcelos (Author)
Dep. Informática
LASIGE

Data de Publicação
2012-08

Suporte
Information and Computation

Identificadores da Publicação
ISSN - 0890-5401

Editora
Elsevier BV

Volume
217

Número de Páginas
19
Página Inicial
52
Página Final
70

Identificadores do Documento
DOI - https://doi.org/10.1016/j.ic.2012.05.002
URL - http://dx.doi.org/10.1016/j.ic.2012.05.002


Exportar referência

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 }