The following pages link to (Q5284547):
Displaying 4 items.
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus (Q1601877) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- (Q4270080) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)