scientific article
From MaRDI portal
Publication:2842853
zbMath1270.68380MaRDI QIDQ2842853
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105803901
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms (68W40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)
Related Items
Unnamed Item, Equivalence checking 40 years after: a review of bisimulation tools, Cartesian difference categories, Computing maximal weak and other bisimulations, Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities, Unnamed Item, On the computational complexity of bisimulation, redux, Efficient Coalgebraic Partition Refinement