Publication:
A characterisation of weak bisimulation congruence

dc.contributor.author van Glabbeek, Robert en_US
dc.date.accessioned 2021-11-25T15:26:37Z
dc.date.available 2021-11-25T15:26:37Z
dc.date.issued 2005 en_US
dc.description.abstract This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration. en_US
dc.identifier.isbn 03029743 en_US
dc.identifier.uri http://hdl.handle.net/1959.4/44469
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.subject.other weak bisimulation congruence en_US
dc.subject.other bisimulation equivalence en_US
dc.subject.other bisimulation congruence en_US
dc.title A characterisation of weak bisimulation congruence 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/11601548_4 en_US
unsw.publisher.place Berlin en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Amsterdam en_US
unsw.relation.ispartofconferenceName Processes, Terms and Cycles: Steps on the Road to Infinity en_US
unsw.relation.ispartofconferenceProceedingsTitle Lecture Notes in Computer Science 3838: Processes, Terms and Cycles: Steps on the Road to Infinity en_US
unsw.relation.ispartofconferenceYear 2005 en_US
unsw.relation.ispartofpagefrompageto 26-39 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:
0200600255_jwk.pdf
Size:
159.16 KB
Format:
application/pdf
Description:
Resource type