Website der UB
|
Impressum
|
Datenschutzerklärung
|
Drucken
|
Startseite
Stöbern
Volltexte
Universitätsbibliographie
Statistik
Über MADOC
Hilfe
Kontakt
Login
Erweiterte Suche
Zurück zur Übersicht
Exportieren als
ASCII Citation
BibTeX
CSL JSON
Dublin Core
Dublin Core SFX
EP3 XML
EndNote
HTML Citation
JSON
MARC21 XML
Multiline CSV
Office Document
Reference Manager
RSS 1.0
RSS 2.0
Zitation
Gruppieren nach:
Dokumenttyp
|
Erscheinungsjahr
|
Keine Sortierung
Springe zu:
Zeitschriftenartikel
|
Dissertation
|
Arbeitspapier
Anzahl der Einträge:
9
.
Zeitschriftenartikel
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]
Majster-Cederbaum, Mila
;
Roggenbach, Markus
(1998)
Transition systems from event structures revisited.
Information Processing Letters Amsterdam [u.a.] 119-124 [Zeitschriftenartikel]
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]
Dissertation
Roggenbach, Markus
(1998)
Über abstrakte Charakterisierungen von Bisimulation.
None [Dissertation]
Vorschau
Arbeitspapier
Baier, Christel
;
Engelen, Bettina
;
Roggenbach, Markus
(1999)
Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach.
None [Arbeitspapier]
Vorschau
Majster-Cederbaum, Mila
;
Roggenbach, Markus
(1998)
The essence of bisimulation : a comparative study.
Technical Reports Mannheim 98-017 [Arbeitspapier]
Vorschau
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
Diese Liste wurde am
Sat Aug 17 01:13:42 2024 CEST
automatisch erstellt.