BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Duality of Session Types: The Final Cut

Participants in the publication
Simon J. Gay (Author)
Peter Thiemann (Author)
Vasco T. Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

Date of Publication
2020-04-03

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Electronic Proceedings in Theoretical Computer Science

Publication Identifiers
ISSN - 2075-2180

Publisher
Open Publishing Association

Volume
314

Number of pages
10
Starting page
23
Last page
33

Document Identifiers
DOI - https://doi.org/10.4204/eptcs.314.3
URL - http://dx.doi.org/10.4204/eptcs.314.3


Export

APA
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos, (2020). Duality of Session Types: The Final Cut. Electronic Proceedings in Theoretical Computer Science, 23-33

IEEE
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos, "Duality of Session Types: The Final Cut" in Electronic Proceedings in Theoretical Computer Science, , 2020, pp. 23-33, doi: 10.4204/eptcs.314.3

BIBTEX
@InProceedings{47281, author = {Simon J. Gay and Peter Thiemann and Vasco T. Vasconcelos}, title = {Duality of Session Types: The Final Cut}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, year = 2020, pages = {23-33}, address = {}, publisher = {Open Publishing Association} }