Refinement of actions and equivalence notions for concurrent systems

Bibliographische Detailangaben

1. Verfasser:	Glabbeek, Rob van (VerfasserIn)
Weitere Verfasser:	Goltz, Ursula (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hildesheim Univ., Inst. für Informatik 1998
Schriftenreihe:	Hildesheimer Informatik-Berichte 6/98
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!