Liveness characterization for GFC systems. II

MaRDI QIDQ1814835zbMATH OpenFDO

Authors Cungen Cao

Publication date 31 October 1996

Published in Science in China. Series E (Search for Journal in Brave)

zbMATH Keywords

free-choice systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Liveness characterization for GFC systems. I
• A complete characterization of deterministic regular liveness properties
• On the refinement of liveness properties of distributed systems
• Direct formal verification of liveness properties in continuous and hybrid dynamical systems
• scientific article; zbMATH DE number 177518
• On the siphon-based characterization of liveness in sequential resource allocation systems
• Liveness analysis for parameterised Boolean equation systems

Cited in

(3)

• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Liveness characterization for GFC systems. I
• Siphons, traps and high-level nets with infinite color domains

This page was built for publication: Liveness characterization for GFC systems. II

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