The following pages link to Concurrent Machines (Q3691067):
Displaying 9 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Models for concurrency: Towards a classification (Q672053) (← links)
- Recognizable languages in concurrency monoids (Q672317) (← links)
- Petri nets and bisimulation (Q672873) (← links)
- Structure of concurrency (Q685384) (← links)
- The poset of infinitary traces (Q689293) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
