BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Session typing and asynchronous subtyping for the higher-order pi-calculus

Participants in the publication
Dimitris Mostrous (Author)
Dep. Informática
Nobuko Yoshida (Author)

Date of Publication
2015

Where published
INFORMATION AND COMPUTATION

Publication Identifiers
ISSN - 0890-5401

Volume
241

Starting page
227
Last page
263

Document Identifiers
DOI - https://doi.org/10.1016/j.ic.2015.02.002


Export

APA
Dimitris Mostrous, Nobuko Yoshida, (2015). Session typing and asynchronous subtyping for the higher-order pi-calculus. INFORMATION AND COMPUTATION, 241, 227-263. ISSN 0890-5401. eISSN .

IEEE
Dimitris Mostrous, Nobuko Yoshida, "Session typing and asynchronous subtyping for the higher-order pi-calculus" in INFORMATION AND COMPUTATION, vol. 241, pp. 227-263, 2015. 10.1016/j.ic.2015.02.002

BIBTEX
@article{34348, author = {Dimitris Mostrous and Nobuko Yoshida}, title = {Session typing and asynchronous subtyping for the higher-order pi-calculus}, journal = {INFORMATION AND COMPUTATION}, year = 2015, pages = {227-263}, volume = 241 }