Pages that link to "Item:Q4461212"
From MaRDI portal
The following pages link to Transition and cancellation in concurrency and branching time (Q4461212):
Displaying 5 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)
