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
stochastic relations
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

Items in Eldorado are protected by copyright, with all rights reserved, unless otherwise indicated.