The following pages link to (Q5748880):
Displaying 25 items.
- Transition systems from event structures revisited (Q293333) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- Metric completion versus ideal completion (Q672047) (← links)
- Context-free event domains are recognizable (Q1286370) (← links)
- Finite labelling problem in event structures (Q1314399) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- Parallel product of event structures (Q1391739) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Redefining event variables for efficient modeling of continuous-time batch processing (Q1854778) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Event structure spans for nondeterministic dataflow (Q2866348) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- (Q3690204) (← links)
- (Q4012251) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- Context-free event domains are recognizable (Q5096387) (← links)
- Denotational, causal, and operational determinism in event structures (Q5878915) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- Causal ambiguity and partial orders in event structures (Q6044126) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
