A formalism to describe concurrent non-deterministic systems and an application of it by analysing systems for danger of deadlock

Bibliographische Detailangaben

1. Verfasser:	Huis in 't Veld, R. J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Eindhoven Univ. of Technology 1988
Schriftenreihe:	EUT report E / Department of Electrical Engineering, Eindhoven University of Technology / Eindhoven University of Technology 200
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!