Divide and Congruence Applied to n-Bisimulation

Download files
Access & Terms of Use
open access
Altmetric
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.
Persistent link to this record
DOI
Link to Open Access 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 0200607378_eta.pdf 230.75 KB Adobe Portable Document Format
Related dataset(s)