scientific article; zbMATH DE number 3870583

zbMATH Open0546.68019MaRDI QIDQ3336680FDOQ3336680

Authors: Joseph Sifakis 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

transition systemsproperty preserving homomorphisms

Mathematics Subject Classification ID

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) Model theory (03C99)

Cited In (12)

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

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)