A note on fairness in I/O automata

DOI10.1016/0020-0190(96)00122-6zbMath0875.68651OpenAlexW2002153759WikidataQ126977493 ScholiaQ126977493MaRDI QIDQ671616

Judi Romijn, Frits W. Vaandrager

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/1392

zbMATH Keywords

I/O automataConcurrencyLivenessStrong fairnessWeak fairness

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

An algebraic theory of interface automata ⋮ Liveness in timed and untimed systems

Cites Work

• Defining liveness
• Liveness in timed and untimed systems

This page was built for publication: A note on fairness in I/O automata