Divide and congruence: From decomposition of modalities to preservation of branching bisimulation

Download files
Access & Terms of Use
open access
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.
Persistent link to this record
DOI
Link to Publisher Version
Additional Link
Author(s)
Fokkink, W
van Glabbeek, Robert
de Wind, P
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2005
Resource Type
Conference Paper
Degree Type
UNSW Faculty
Files
download 0200602317_divide.pdf 232.53 KB Adobe Portable Document Format
Related dataset(s)