1. Eldorado
  2. Fakultäten
  3. 04 Fakultät für Informatik
  4. LS 10 Software-Technologie
Autor(en): Doberkat, Ernst-Erich
Titel: Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations
Sprache (ISO): en
Schlagwörter: Bisimulation
Hennessy-Milner logic
labelled Markov processes
semi-pullback
stochastic relations
URI: http://hdl.handle.net/2003/2681
http://dx.doi.org/10.17877/DE290R-16055
Erscheinungsdatum: 2003-04-28
Provinienz: Universität Dortmund
Enthalten in den Sammlungen:LS 10 Software-Technologie

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
130.pdfDNB358.8 kBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.

Zur Langanzeige


Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org