scientific article

zbMath1271.68133MaRDI QIDQ2845494

Simona Orzan, Stefan Blom

Publication date: 30 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Related Items (6)

An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ On the Minimisation of Acyclic Models ⋮ From generic partition refinement to weighted tree automata minimization ⋮ An O(m log n) algorithm for branching bisimilarity on labelled transition systems

Uses Software

• CADP
• XTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model checking a cache coherence protocol of a Java DSM implementation
• Characterizing finite Kripke structures in propositional temporal logic
• Analysis of a distributed system for lifting trucks.
• Branching time and abstraction in bisimulation semantics
• Depth-First Search and Linear Graph Algorithms
• Parallelizing the \(\text{Mur}\varphi\) verifier

This page was built for publication: