Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Another look at abstraction in process algebra
14th International Colloquium on Automata, languages and programming
Structured operational semantics and bisimulation as a congruence
Information and Computation
Transition system specifications with negative premises
Theoretical Computer Science
Journal of the ACM (JACM)
Structural operational semantics for weak bisimulations
Theoretical Computer Science
Ntyft/ntyxt rules reduce to ntree rules
Information and Computation
Rooted branching bisimulation as a congruence
Journal of Computer and System Sciences
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Hi-index | 0.00 |
We present congruence formats for @h- and rooted @h-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.