Ready to preorder: The case of weak process semantics Chen, T en_US Fokkink, W en_US van Glabbeek, Robert en_US 2021-11-25T15:25:59Z 2021-11-25T15:25:59Z 2008 en_US
dc.description.abstract Recently, Aceto, Fokkink and Ingolfsdottir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence-its kernel. Moreover, if the former axiomatisation is omega-cornplete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodriguez and Palomino generalised this result. so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The Current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second tau-law. This makes it applicable to all 87 preorders surveyed in `the linear time-branching time spectrum II` that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence. (C) 2008 Elsevier B.V. All rights reserved. en_US
dc.identifier.issn 0020-0190 en_US
dc.language English
dc.language.iso EN en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri en_US
dc.source Legacy MARC en_US
dc.subject.other Concurrency en_US
dc.subject.other Process algebra en_US
dc.subject.other Weak process semantics en_US
dc.title Ready to preorder: The case of weak process semantics en_US
dc.type Journal Article en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement Information Processing Letters is published by Elsevier: en_US
unsw.identifier.doiPublisher en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofissue 2 en_US
unsw.relation.ispartofjournal Information Processing Letters en_US
unsw.relation.ispartofpagefrompageto 104-111 en_US
unsw.relation.ispartofvolume 109 en_US
unsw.relation.originalPublicationAffiliation Chen, T en_US
unsw.relation.originalPublicationAffiliation Fokkink, W en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US School of Computer Science and Engineering *
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
120.48 KB
Resource type