The following pages link to ST-structures (Q338620):
Displayed 5 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- (Q6150427) (← links)