The following pages link to (Q4733397):
Displaying 37 items.
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- ST-structures (Q338620) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Observing localities (Q685414) (← links)
- The poset of infinitary traces (Q689293) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Parallel product of event structures (Q1391739) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Well-behaved flow event structures for parallel composition and action refinement (Q1884941) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Minimisation of event structures (Q2084951) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- A calculus of branching processes (Q2286743) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Self-assembling Trees (Q2866313) (← links)
- (Q3384917) (← links)
- (Q3385652) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- A note on causal trees and their applications to CCS (Q4243250) (← links)
- (Q4499210) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- An algebraic view of interleaving and distributed operational semantics for CCS (Q5096249) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
