Pages that link to "Item:Q2570217"
From MaRDI portal
The following pages link to Homological properties of non-deterministic branchings of mergings in higher dimensional automata (Q2570217):
Displaying 13 items.
- The homology of partial monoid actions and Petri nets (Q395664) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies (Q851558) (← links)
- Homology groups of asynchronous systems, Petri nets, and trace languages (Q890902) (← links)
- \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences (Q925393) (← links)
- Labeled homology of higher-dimensional automata (Q2324599) (← links)
- Towards a homotopy theory of process algebra (Q2427617) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- From concurrency to algebraic topology (Q2703724) (← links)
- Combinatorics of branchings in higher dimensional automata (Q2724148) (← links)
- T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
- Six model categories for directed homotopy (Q5077344) (← links)
