The following pages link to Axiomatising divergence (Q2581532):
Displaying 11 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)
- (Q5020941) (← links)
- (Q5089269) (← links)
- Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. (Q5089302) (← links)
- (Q5119395) (← links)
- A Semantics for Every GSPN (Q5300867) (← links)
- Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration (Q5415608) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)
