Fairness Properties in process algebra with applications in communication protocol verification

Uppsala, Univ., Diss.

Bibliographische Detailangaben

1. Verfasser:	Parrow, Joachim (VerfasserIn)
Format:	UnknownFormat
Sprache:	swe
Veröffentlicht:	1986
Schriftenreihe:	Uppsala Universitet / Department of Computer Systems 85/03
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!