Divide and Congruence Applied to n-Bisimulation Fokkink, W en_US van Glabbeek, Robert en_US de Wind, P en_US 2021-11-25T15:26:16Z 2021-11-25T15:26:16Z 2005 en_US
dc.description.abstract We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. 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. en_US
dc.identifier.issn 1571-0661 en_US
dc.language English
dc.language.iso EN en_US
dc.publisher Elsevier 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 Applied to n-Bisimulation en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.description.publisherStatement Electronic Notes in Theoretical Computer Science is available via: en_US
unsw.identifier.doiPublisher en_US Amsterdam en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Lisbon, Portugal en_US
unsw.relation.ispartofconferenceName The Second Workshop on Structural Operational Semantics en_US
unsw.relation.ispartofconferenceProceedingsTitle Electronic Notes in Theoretical Computer Science en_US
unsw.relation.ispartofconferenceYear 2006 en_US
unsw.relation.ispartofpagefrompageto 97-113 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
230.75 KB
Resource type