The following pages link to Axiomatising divergence (Q2581532):
Displayed 6 items.
- Theory of interaction (Q896903) (← links)
- The Value-Passing Calculus (Q2842635) (← 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)