A note on fairness in I O automata

Abstract: "Notions of weak and strong fairness are studied in the setting of the I/O automaton model of Lynch & Tuttle. The concept of a fair I/O automaton is introduced and it is shown that a fair I/O automaton paired with the set of its fair executions is a live I/O automaton provided tha...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Romijn, Judi M. T. (VerfasserIn), Vaandrager, Frits W. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1995
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,79
Schlagworte:	Computer input-output equipment Computer multitasking
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!