scientific article; zbMATH DE number 3870583

MaRDI QIDQ3336680zbMATH OpenFDO

Authors Joseph Sifakis

Publication date 1984

zbMATH Keywords

property preserving homomorphismstransition systems

Mathematics Subject Classification ID

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

Recommendations

• Property preserving abstractions for the verification of concurrent systems
• scientific article; zbMATH DE number 1499103
• Simple proof techniques for property preservation via simulation
• scientific article; zbMATH DE number 1333608
• Modal Logic, Transition Systems and Processes

Cited in

(12)

• Extensional equivalences for transition systems
• Equivalence-preserving first-order unfold/fold transformation systems
• Property preserving abstractions for the verification of concurrent systems
• An algebraic characterization of observational equivalence
• An algebraic characterization of transition system equivalences
• Selective mu-calculus and formula-based equivalence of transition systems
• Predicate transformers in the context of symbolic modeling of transition systems
• Using heuristic search for finding deadlocks in concurrent systems
• scientific article; zbMATH DE number 1333608 (Why is no real title available?)
• Dynamically consistent reduction of logical regulatory graphs
• Modal logics for communicating systems
• \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes

Describes a project that uses

Uses Software

• CESAR

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3336680)