The following pages link to (Q3731021):
Displaying 5 items.
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- (Q4733426) (← links)
- Program composition via unification (Q5204356) (← links)