Publication:
Characterising testing preorders for finite probabilistic processes

dc.contributor.author Morgan, Charles en_US
dc.contributor.author Zhang, Chenyi en_US
dc.contributor.author Deng, Yuxin en_US
dc.contributor.author van Glabbeek, Robert en_US
dc.contributor.author Hennessy, Matthew en_US
dc.date.accessioned 2021-11-25T13:33:16Z
dc.date.available 2021-11-25T13:33:16Z
dc.date.issued 2007 en_US
dc.description.abstract In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with two problems that have remained open throughout the years, namely to find complete axiomatisations and alternative characterisations for these preorders. This paper solves both problems for finite processes with silent moves. It characterises the may preorder in terms of simulation, and the must preorder in terms of failure simulation. It also gives a characterisation of both preorders using a modal logic. Finally it axiomatises both preorders over a probabilistic version of CSP. en_US
dc.identifier.isbn 0769529089 en_US
dc.identifier.uri http://hdl.handle.net/1959.4/39941
dc.language English
dc.language.iso EN en_US
dc.publisher IEEE computer society press en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri https://creativecommons.org/licenses/by-nc-nd/3.0/au/ en_US
dc.source Legacy MARC en_US
dc.title Characterising testing preorders for finite probabilistic processes en_US
dc.type Conference Paper en
dcterms.accessRights metadata only access
dspace.entity.type Publication en_US
unsw.accessRights.uri http://purl.org/coar/access_right/c_14cb
unsw.identifier.doiPublisher http://dx.doi.org/10.1109/LICS.2007.15 en_US
unsw.publisher.place Los Alamitos, USA en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Wroclaw, Poland en_US
unsw.relation.ispartofconferenceName 22nd Annual IEEE symposium on logic in computer science en_US
unsw.relation.ispartofconferenceProceedingsTitle 22nd Annual IEEE symposium on logic in computer science, Proceedings en_US
unsw.relation.ispartofconferenceYear 2007 en_US
unsw.relation.ispartofpagefrompageto 313-322 en_US
unsw.relation.originalPublicationAffiliation Morgan, Charles, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Zhang, Chenyi, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Deng, Yuxin, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Hennessy, Matthew en_US
unsw.relation.school School of Computer Science and Engineering *
Files
Resource type