Authors: Doberkat, Ernst-Erich
Title: Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations
Language (ISO): en
Subject Headings: 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
Issue Date: 2003-04-28
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
130.pdfDNB358.8 kBAdobe PDFView/Open


This item is protected by original copyright



This item is protected by original copyright rightsstatements.org