Full metadata record
DC FieldValueLanguage
dc.contributor.authorDoberkat, Ernst-Erichde
dc.date.accessioned2004-12-06T12:55:06Z-
dc.date.available2004-12-06T12:55:06Z-
dc.date.created2002de
dc.date.issued2003-04-28de
dc.identifier.urihttp://hdl.handle.net/2003/2681-
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-16055-
dc.format.extent367409 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoende
dc.publisherUniversität Dortmundde
dc.relation.ispartofseriesInternes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 130de
dc.subjectBisimulationde
dc.subjectHennessy-Milner logicde
dc.subjectlabelled Markov processesen
dc.subjectsemi-pullbacken
dc.subjectstochastic relationsen
dc.subject.ddc004de
dc.titleSemi-Pullbacks and Bisimulations in Categories of Stochastic Relationsen
dc.typeTextde
dc.type.publicationtypeworkingPaper-
dcterms.accessRightsopen access-
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