The following pages link to An algebra for process creation (Q1203719):
Displaying 7 items.
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- The algebra of communicating processes with empty process (Q1391788) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- (Q4494259) (← links)
- Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction (Q6163879) (← links)