Pages that link to "Item:Q3975177"
From MaRDI portal
The following pages link to Concurrency, modularity, and synchronization (Q3975177):
Displaying 14 items.
- Structure of concurrency (Q685384) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)
- (Q4240122) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- (Q4997233) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- Concurrency: handling interference formally (Q6165766) (← links)