Fairness Properties in process algebra with applications in communication protocol verification

Uppsala, Univ., Diss. 1986

Bibliographische Detailangaben

1. Verfasser:	Parrow, Joachim
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Uppsala Dept. of Computer Systems 1985
Schriftenreihe:	DoCS 85,03
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!