The following pages link to ST-structures (Q338620):
Displaying 7 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)
- On the expressiveness of higher dimensional automata (extended abstract) (Q2848133) (← links)
- (Q3838377) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)