A polynomial-time algorithm is presented to decide distributed bisimilarity of Basic Parallel Processes. As a direct conclusion, several other non-interleaving semantic equivalences are also decidable in polynomial time for this class of process, since they coincide with distributed bisimilarity. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Lasota, S. (2003). A polynomial-time algorithm for deciding true concurrency equivalences of basic parallel processes. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2747, 521–530. https://doi.org/10.1007/978-3-540-45138-9_46
Mendeley helps you to discover research relevant for your work.