The following pages link to Applications of Process Algebra (Q3999165):
Displaying 14 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- The compression structure of a process (Q1044743) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Process algebra with language matching (Q1391794) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Branching time and orthogonal bisimulation equivalence (Q1884905) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups (Q3449719) (← links)
- Divergence and fair testing (Q4645218) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
- A Formalization of Anonymity and Onion Routing (Q5862309) (← links)
