We investigate Leifer and Milner RPO approach for deriving efficient (finitely branching) LTS's and bisimilarities for π-calculus. To this aim, we work in a category of second-order term contexts and we apply a general pruning technique, which allows to simplify the set of transitions in the LTS obtained from the original RPO approach. The resulting LTS and bisimilarity provide an alternative presentation of symbolic LTS and Sangiorgi's open bisimilarity. © 2010 Springer-Verlag.
CITATION STYLE
Di Gianantonio, P., Jakšić, S., & Lenisa, M. (2010). Efficient bisimilarities from second-order reaction semantics for π-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6269 LNCS, pp. 358–372). https://doi.org/10.1007/978-3-642-15375-4_25
Mendeley helps you to discover research relevant for your work.