The following pages link to (Q3873555):
Displayed 10 items.
- Universal axioms for bisimulations (Q685411) (← links)
- Graph rewriting for a partial ordering semantics of concurrent constraints programming (Q685459) (← links)
- D-continuous causal nets: A model of non-sequential processes (Q788491) (← links)
- Nets, sequential components and concurrency relations (Q797994) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Petri nets, event structures and domains. I (Q1148680) (← links)
- An algebraic description of system behaviours (Q1168736) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- Structure matrices for Petri nets and their applications (Q2266589) (← links)