Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/11003
Title: | Efficient bisimilarities from second-order reaction semantics for π-calculus | Authors: | Di Gianantonio P. Jakšić, Svetlana Lenisa M. |
Issue Date: | 19-Nov-2010 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Abstract: | 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. | URI: | https://open.uns.ac.rs/handle/123456789/11003 | ISBN: | 3642153747 | ISSN: | 3029743 | DOI: | 10.1007/978-3-642-15375-4_25 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.