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. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Andreia Mordido (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Vasco T. Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre

Scope
International

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} }