|
|||||
|
|
Divide and Congruence Applied to η-Bisimulation |
|
| Authors: | Wan Fokkink Rob van Glabbeek Paulien de Wind |
| Affiliation: | Vrije Universiteit Amsterdam, Department of Computer Science, Amsterdam;CWI, Department of Software Engineering, Amsterdam;National ICT Australia, Sydney;School of Computer Science and Engineering, Univ. of New South Wales, Sydney;Vrije Universiteit Amsterdam, Department of Computer Science, Amsterdam |
| 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. |
| Keywords: | Structural operational semantics modal logic decomposition congruence η -bisimulation |
| 本文献已被 ScienceDirect 等数据库收录！ | |