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

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: 2000 | 1999 | 1998 | 1997 | 1996
Anzahl der Einträge: 9.

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]

1999

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach. Open Access None [Arbeitspapier]
[img]
Vorschau

1998

Roggenbach, Markus (1998) Über abstrakte Charakterisierungen von Bisimulation. Open Access None [Dissertation]
[img]
Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) The essence of bisimulation : a comparative study. Open Access Technical Reports Mannheim 98-017 [Arbeitspapier]
[img]
Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) Transition systems from event structures revisited. Information Processing Letters Amsterdam [u.a.] 119-124 [Zeitschriftenartikel]

1997

Roggenbach, Markus (1997) Categorical characterization of bisimulation. Open Access Technical Reports Mannheim 97-001 [Arbeitspapier]
[img]
Vorschau

1996

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterizations of bisimulation. Open Access None [Arbeitspapier]
[img]
Vorschau

Roggenbach, Markus (1996) On completions of semantic domains. Open Access None [Arbeitspapier]
[img]
Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterisations of bisimulation. Bulletin of the European Association for Theoretical Computer Science EATCS : BEATCS Leiden 59 164-172 [Zeitschriftenartikel]

Diese Liste wurde am Thu Nov 21 01:44:17 2024 CET automatisch erstellt.