Structured operational semantics and bisimulation as a congruence

Bibliographische Detailangaben

Hauptverfasser:	Groote, Jan F. (VerfasserIn), Vaandrager, Frits W. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1988
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 88,45
Schlagworte:	Programming languages (Electronic computers) > Semantics
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!