Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Springe zu: 2000 | 1994
Anzahl der Einträge: 3.

2000

Roggenbach, Markus ; Majster-Cederbaum, Mila (2000) Towards a unified view of bisimulation: a comparative study. Theoretical Computer Science : the Journal of the EATCS Amsterdam 238 1/2 81-130 [Zeitschriftenartikel]

1994

Majster-Cederbaum, Mila ; Zetzsche, Frank (1994) The comparison of a cpo-based semantics with a cms-based semantics for CSP. Theoretical Computer Science : the Journal of the EATCS Amsterdam 124 1 1-40 [Zeitschriftenartikel]

Majster-Cederbaum, Mila ; Baier, Christel (1994) Denotational semantics in the cpo and metric approach. Theoretical Computer Science : the Journal of the EATCS Amsterdam 135 2 171-248 [Zeitschriftenartikel]

Diese Liste wurde am Sat Apr 27 03:30:46 2024 CEST automatisch erstellt.