The following pages link to (Q4375630):
Displayed 9 items.
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizations for the perpetual loop in process algebra (Q4571987) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608) (← links)