Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 9.

Article

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 [Article]

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

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 [Article]

Doctoral dissertation

Roggenbach, Markus (1998) Über abstrakte Charakterisierungen von Bisimulation. Open Access None [Doctoral dissertation]
[img]
Preview

Working paper

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

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

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

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

Roggenbach, Markus (1996) On completions of semantic domains. Open Access None [Working paper]
[img]
Preview

This list was created automatically on Tue Jun 22 05:47:32 2021 CEST