Published in

Springer, Lecture Notes in Computer Science, p. 39-56, 2020

DOI: 10.1007/978-3-030-45237-7_3

Links

Tools

Export citation

Search in Google Scholar

Deciding the Bisimilarity of Context-Free Session Types

Book chapter published in 2020 by Bernardo Almeida ORCID, Andreia Mordido ORCID, Vasco T. Vasconcelos ORCID
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Upload
Red circle
Published version: archiving forbidden
Policy details
Data provided by SHERPA/RoMEO

Abstract

AbstractWe present an algorithm to decide the equivalence of context-free session types, practical to the point of being incorporated in a compiler. We prove its soundness and completeness. We further evaluate its behaviour in practice. In the process, we introduce an algorithm to decide the bisimilarity of simple grammars.