Muller condition and fairness on multitransition systems

DOI10.1112/S1461157010000136zbMath1221.68088MaRDI QIDQ3092477

Douadi Mihoubi

Publication date: 16 September 2011

Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)

zbMATH Keywords

multitransition systems\(\epsilon\)-free \(\omega\)-regular \(N\)-languagesfair computationsMuller acceptance conditionregular SCCS processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Fairness and regularity for SCCS processes

This page was built for publication: Muller condition and fairness on multitransition systems