The following pages link to Behaviours of concurrent systems (Q1145503):
Displayed 15 items.
- D-continuous causal nets: A model of non-sequential processes (Q788491) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- An algebra of processes (Q1096381) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Concurrent systems and inevitability (Q1122355) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Processes of transforming structures (Q1166273) (← links)
- An algebraic description of system behaviours (Q1168736) (← links)
- Processes of timed Petri nets (Q1575631) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)