The following pages link to (Q4721639):
Displaying 38 items.
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Observing localities (Q685414) (← links)
- The poset of infinitary traces (Q689293) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← links)
- Partial (set) 2-structures. II: State spaces of concurrent systems (Q911308) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- A completed hierarchy of true concurrent equivalences (Q1029093) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- Partial order and contextual net semantics for atomic and locally atomic CC programs (Q1380121) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency (Q2827447) (← links)
- A noninterleaving model of concurrency based on transition systems with spatial structure (Q2847818) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- (Q3385652) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Fairness and regularity for SCCS processes (Q3816967) (← links)
- (Q4447252) (← links)
- On fixpoint logics and equivalences for processes with restricted nondeterminism (Q4612425) (← links)
- Deciding true concurrency equivalences on finite safe nets (preliminary report) (Q4630288) (← links)
- (Q4733390) (← links)
- On Weighted Petri Net Transducers (Q5166767) (← links)
- Denotational, causal, and operational determinism in event structures (Q5878915) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- On relating concurrency and nondeterminism (Q6116582) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
