Personen - MADOC

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung

Anzahl der Einträge: 9.

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]

Baier, Christel ; Engelen, Bettina ; Roggenbach, Markus (1999) Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach.

None [Arbeitspapier]

Vorschau

Roggenbach, Markus (1998) Über abstrakte Charakterisierungen von Bisimulation.

None [Dissertation]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1998) The essence of bisimulation : a comparative study.

Technical Reports Mannheim 98-017 [Arbeitspapier]

Vorschau

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

Roggenbach, Markus (1997) Categorical characterization of bisimulation.

Technical Reports Mannheim 97-001 [Arbeitspapier]

Vorschau

Majster-Cederbaum, Mila ; Roggenbach, Markus (1996) On two different characterizations of bisimulation.

None [Arbeitspapier]

Vorschau

Roggenbach, Markus (1996) On completions of semantic domains.

None [Arbeitspapier]

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.

Zitation