Nested Session Types | Publication details | BIBLIOS

Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Nested Session Types

Participants in the publication
Ankush Das (Author)
Henry DeYoung (Author)
Andreia Mordido (Author)
Dep. Informática
LASIGE
Frank Pfenning (Author)

Date of Submisson/Request
2020-10-20

Date of Acceptance
2020-12-23

Date of Publication
2021-03-30

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Programming Languages and Systems,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 9783030720186

Publisher
Springer International Publishing

Document Identifiers
URL - https://doi.org/10.1007/978-3-030-72019-3_7
URL - https://doi.org/10.1007/978-3-030-72019-3_7

Rankings
CORE A (2020) -

Export

APA
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, (2021). Nested Session Types. Programming Languages and Systems,Lecture Notes in Computer Science , -

IEEE
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning, "Nested Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science , , 2021, pp. -, doi:

BIBTEX
@InProceedings{49697, author = {Ankush Das and Henry DeYoung and Andreia Mordido and Frank Pfenning}, title = {Nested Session Types}, booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science }, year = 2021, pages = {-}, address = {}, publisher = {Springer International Publishing} }