scientific article

zbMath0546.68019MaRDI QIDQ3336680

Joseph Sifakis

Publication date: 1984

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

zbMATH Keywords

transition systemsproperty preserving homomorphisms

Mathematics Subject Classification ID

Model theory (03C99) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (8)

Property preserving abstractions for the verification of concurrent systems ⋮ An algebraic characterization of observational equivalence ⋮ \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Selective mu-calculus and formula-based equivalence of transition systems ⋮ Dynamically consistent reduction of logical regulatory graphs ⋮ Modal logics for communicating systems ⋮ An algebraic characterization of transition system equivalences ⋮ Using heuristic search for finding deadlocks in concurrent systems

Uses Software

• CESAR

This page was built for publication: