The following pages link to Concurrency and atomicity (Q1124366):
Displaying 30 items.
- Universal axioms for bisimulations (Q685411) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Composing atomic features (Q856903) (← links)
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- A\(^ 2\)CCS: Atomic actions for CCS (Q912608) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Petri nets are monoids (Q922720) (← links)
- Four domains for concurrency (Q1179700) (← links)
- A criterion for atomicity (Q1192605) (← links)
- Finitary logics for some CCS observational bisimulations (Q1198052) (← links)
- Finite Petri nets as models for recursive causal behaviour (Q1318729) (← links)
- Relation-based semantics for concurrency (Q1328556) (← links)
- Comparing locality and causality based equivalences (Q1342503) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- On the expressive power of polyadic synchronisation in \(\pi \)-calculus (Q2842599) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Monitoring Atomicity in Concurrent Programs (Q3512481) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)
- Concurrency: handling interference formally (Q6165766) (← links)
