Publication:
Divide and congruence: From decomposition of modalities to preservation of branching bisimulation
Divide and congruence: From decomposition of modalities to preservation of branching bisimulation
dc.contributor.author | Fokkink, W | en_US |
dc.contributor.author | van Glabbeek, Robert | en_US |
dc.contributor.author | de Wind, P | en_US |
dc.date.accessioned | 2021-11-25T15:25:42Z | |
dc.date.available | 2021-11-25T15:25:42Z | |
dc.date.issued | 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.identifier.uri | http://hdl.handle.net/1959.4/44457 | |
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 | 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.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/11804192_10 | en_US |
unsw.publisher.place | 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 |
unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1