Monitors with arrays of condition variables and proof rules handling local quantities

Bibliographische Detailangaben

1. Verfasser:	Gjessing, Stein (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oslo Inst., Univ. 1979
Schriftenreihe:	Research report / Institute of Informatics, University of Oslo 45
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!