BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
An Algebra of Behavioural Types

Participants in the publication
António Ravara (Author)
Pedro Resende (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
LASIGE

Date of Publication
2012-03

Where published
Information and Computation

Publication Identifiers
ISSN - 0890-5401

Publisher
Elsevier BV

Volume
212

Number of pages
28
Starting page
64
Last page
91

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


Export

APA
António Ravara, Pedro Resende, Vasco T. Vasconcelos, (2012). An Algebra of Behavioural Types. Information and Computation, 212, 64-91. ISSN 0890-5401. eISSN . http://dx.doi.org/10.1016/j.ic.2011.12.005

IEEE
António Ravara, Pedro Resende, Vasco T. Vasconcelos, "An Algebra of Behavioural Types" in Information and Computation, vol. 212, pp. 64-91, 2012. 10.1016/j.ic.2011.12.005

BIBTEX
@article{51005, author = {António Ravara and Pedro Resende and Vasco T. Vasconcelos}, title = {An Algebra of Behavioural Types}, journal = {Information and Computation}, year = 2012, pages = {64-91}, volume = 212 }