Liveness characterization for GFC systems. I

MaRDI QIDQ1814834zbMATH 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 systemsGFC 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. II
• Recognizing safety and liveness
• scientific article; zbMATH DE number 2088663
• scientific article; zbMATH DE number 3982527
• scientific article; zbMATH DE number 4033101

Cited in

(1)

• Liveness characterization for GFC systems. II

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

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