BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Asynchronous Timed Session Types

Participants in the publication
Laura Bocchi (Author)
Maurizio Murgia (Author)
Vasco Thudichum Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Nobuko Yoshida (Author)

Date of Publication
2019

Where published
Programming Languages and Systems,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743,1611-3349
ISBN - 9783030171834,9783030171841

Publisher
Springer International Publishing

Edition
1st

Number of pages
27
Starting page
583
Last page
610

Document Identifiers
DOI - https://doi.org/10.1007/978-3-030-17184-1_21
URL - http://dx.doi.org/10.1007/978-3-030-17184-1_21

Rankings
CORE A (2020) -


Export

APA
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida, (2019). Asynchronous Timed Session Types. Programming Languages and Systems,Lecture Notes in Computer Science, 583-610

IEEE
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida, "Asynchronous Timed Session Types" in Programming Languages and Systems,Lecture Notes in Computer Science, 2019, pp. 583-610

BIBTEX
@incollection{43713, author = {Laura Bocchi and Maurizio Murgia and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Asynchronous Timed Session Types}, booktitle = {Programming Languages and Systems,Lecture Notes in Computer Science}, year = 2019, pages = {583-610}, address = {}, publisher = {Springer International Publishing} }