The following pages link to Axiomatising divergence (Q2581532):
Displaying 7 items.
- Theory of interaction (Q896903) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- (Q5089269) (← links)
- Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. (Q5089302) (← links)
- Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608) (← links)