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
Sprache:	eng
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik 1995
Schriftenreihe:	Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1995,21
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!