Congruence proofs for weak bisimulation equivalences on higher order process calculi

Bibliographische Detailangaben

1. Verfasser:	Baldamus, Michael (VerfasserIn)
Weitere Verfasser:	Frauenstein, Thomas (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik 1995
Schriftenreihe:	Report / Technische Universität Berlin, Fachbereich 13, Informatik 95,21
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!