Pages that link to "Item:Q4461212"
From MaRDI portal
The following pages link to Transition and cancellation in concurrency and branching time (Q4461212):
Displaying 10 items.
- ST-structures (Q338620) (← links)
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Causal dynamic inference (Q1935591) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Posets with interfaces as a model for concurrency (Q2672275) (← links)
- On the Specification of Higher Dimensional Automata (Q2841306) (← links)
- (Q4989400) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)