Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations

dc.contributor.author	Doberkat, Ernst-Erich	de
dc.date.accessioned	2004-12-06T12:55:06Z
dc.date.available	2004-12-06T12:55:06Z
dc.date.created	2002	de
dc.date.issued	2003-04-28	de
dc.format.extent	367409 bytes
dc.format.mimetype	application/pdf
dc.identifier.uri	http://hdl.handle.net/2003/2681
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-16055
dc.language.iso	en	de
dc.publisher	Universität Dortmund	de
dc.relation.ispartofseries	Internes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 130	de
dc.subject	Bisimulation	de
dc.subject	Hennessy-Milner logic	de
dc.subject	labelled Markov processes	en
dc.subject	semi-pullback	en
dc.subject	stochastic relations	en
dc.subject.ddc	004	de
dc.title	Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations	en
dc.type	Text	de
dc.type.publicationtype	workingPaper
dcterms.accessRights	open access

Files

Now showing 1 - 1 of 1