Liveness characterization for GFC systems. II

zbMath0857.68079MaRDI QIDQ1814835

Cun-Gen 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)

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