Pages that link to "Item:Q1091134"
From MaRDI portal
The following pages link to Modeling concurrency with partial orders (Q1091134):
Displaying 32 items.
- (Q4733390) (← links)
- (Q4989400) (← links)
- (Q5019695) (← links)
- On relating some models for concurrency (Q5044721) (← links)
- Efficient rewriting in cograph trace monoids (Q5055886) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Languages of higher-dimensional automata (Q5076390) (← links)
- Temporal structures (Q5096250) (← links)
- Free shuffle algebras in language varieties extended abstract (Q5096327) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- Nonfinite axiomatizability of shuffle inequalities (Q5096740) (← links)
- Read-write causality (Q5096915) (← links)
- On Weighted Petri Net Transducers (Q5166767) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)
- (Q5376661) (← links)
- ENFORCING CONCURRENT TEMPORAL BEHAVIORS (Q5484900) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)
- On the specification of elementary reactive behaviour (Q5890052) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- Step traces (Q5963403) (← links)
- Partial order aware concurrency sampling (Q6039411) (← links)
- Adding partial orders to linear temporal logic (Q6044113) (← links)
- Causal ambiguity and partial orders in event structures (Q6044126) (← links)
- Truly concurrent constraint programming (Q6104382) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)
- On continuous time agents (Q6116583) (← links)
- Branching Pomsets for Choreographies (Q6122640) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Asynchronous cellular automata for pomsets without auto-concurrency (Q6162109) (← links)
- Rational mechanics and natural mathematics (Q6487235) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)