scientific article

zbMath1270.68380MaRDI QIDQ2842853

Simona Orzan, Stefan Blom

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.

Mathematics Subject Classification ID

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