Liveness characterization for GFC systems. I

zbMath0857.68078MaRDI QIDQ1814834

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

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