The following pages link to (Q3929062):
Displaying 11 items.
- (Q5856409) (← links)
- Termination, deadlock and divergence (Q5887521) (← links)
- A fully abstract denotational model for observational precongruence (Q5940916) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
- On implementations and semantics of a concurrent programming language (Q6044131) (← links)
- Process calculus based upon evaluation to committed form (Q6104363) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)
- A fully abstract denotational model for observational precongruence (Q6560177) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)