Publication:
On cool congruence formats for weak bisimulations

dc.contributor.author van Glabbeek, Robert en_US
dc.date.accessioned 2021-11-25T15:26:50Z
dc.date.available 2021-11-25T15:26:50Z
dc.date.issued 2005 en_US
dc.description.abstract In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent moves. He proved that weak bisimulation equivalence is a congruence for any process algebra defined by WB cool rules, and established similar results for rooted weak bisimulation (Milner's 'observational congruence'), branching bisimulation and rooted branching bisimulation. This study reformulates Bloom's results in a more accessible form and contributes analogues for (rooted) eta-bisimulation and (rooted) delay bisimulation. Moreover, finite equational axiomatisations of rooted weak bisimulation equivalence are provided that are sound and complete for finite processes in any RWB cool process algebra. These require the introduction of auxiliary operators with lookahead. Finally, a challenge is presented for which Bloom`s formats fall short and further improvement is called for. en_US
dc.identifier.isbn 3540291075 en_US
dc.identifier.uri http://hdl.handle.net/1959.4/44468
dc.language English
dc.language.iso EN en_US
dc.publisher Springer-Verlag Berlin 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 On cool congruence formats for weak bisimulations en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.accessRights.uri https://purl.org/coar/access_right/c_abf2
unsw.description.publisherStatement The original publication is available at www.springerlink.com en_US
unsw.identifier.doiPublisher http://dx.doi.org/10.1007/11560647_21 en_US
unsw.publisher.place Berlin en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Hanoi, Vietnam en_US
unsw.relation.ispartofconferenceName International Colloquium on Theoretical Aspects of Computing, ICTAC05 en_US
unsw.relation.ispartofconferenceProceedingsTitle Proceedings International Colloquium on Theoretical Aspects of Computing (LNCS 3722) en_US
unsw.relation.ispartofconferenceYear 2005 en_US
unsw.relation.ispartofpagefrompageto 318-333 en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.school School of Computer Science and Engineering *
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0200503724_OnCool.pdf
Size:
182.04 KB
Format:
application/pdf
Description:
Resource type