The following pages link to (Q3776606):
Displaying 15 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- An algebra for process creation (Q1203719) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- The algebra of communicating processes with empty process (Q1391788) (← links)
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic (Q1781996) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- (Q4038732) (← links)
- Termination, deadlock and divergence (Q5887521) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897493) (← links)