Divide and congruence: From decomposition of modalities to preservation of branching bisimulation Fokkink, W en_US van Glabbeek, Robert en_US de Wind, P en_US 2021-11-25T15:25:42Z 2021-11-25T15:25:42Z 2005 en_US
dc.description.abstract We present a method for decomposing modal formulas for processes with the internal action tau. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra. We use this decomposition method to derive congruence formats for branching and rooted branching bisimulation equivalence. en_US
dc.identifier.isbn 9783540367499 en_US
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 en_US
dc.source Legacy MARC en_US
dc.title Divide and congruence: From decomposition of modalities to preservation of branching bisimulation en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement The original publication is available at en_US
unsw.identifier.doiPublisher en_US Berlin en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Amsterdam, The Netherlands en_US
unsw.relation.ispartofconferenceName 4th international symposium on Formal methods for components and objects en_US
unsw.relation.ispartofconferenceProceedingsTitle Formal methods for components and objects en_US
unsw.relation.ispartofconferenceYear 2006 en_US
unsw.relation.ispartofpagefrompageto 195-218 en_US
unsw.relation.originalPublicationAffiliation Fokkink, W en_US
unsw.relation.originalPublicationAffiliation van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation de Wind, P en_US School of Computer Science and Engineering *
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
232.53 KB
Resource type