BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Deciding the Bisimilarity of Context-Free Session Types

Participants in the publication
Bernardo Almeida (Author)
Dep. Informática
 LASIGE
 Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2020

Event
Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743,1611-3349
ISBN - 9783030452360,9783030452377

Publisher
Springer International Publishing

Number of pages
17
Starting page
39
Last page
56

Document Identifiers
DOI - https://doi.org/10.1007/978-3-030-45237-7_3
URL - http://dx.doi.org/10.1007/978-3-030-45237-7_3

Rankings
CORE A (2020)
CORE A (2018)


Export

APA
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, (2020). Deciding the Bisimilarity of Context-Free Session Types. Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, 39-56

IEEE
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, "Deciding the Bisimilarity of Context-Free Session Types" in Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, , 2020, pp. 39-56, doi: 10.1007/978-3-030-45237-7_3

BIBTEX
@InProceedings{46376, author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos}, title = {Deciding the Bisimilarity of Context-Free Session Types}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science}, year = 2020, pages = {39-56}, address = {}, publisher = {Springer International Publishing} }