The following pages link to (Q4721639):
Displaying 26 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)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- A completed hierarchy of true concurrent equivalences (Q1029093) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← 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)
- 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)
- 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)
- Deciding true concurrency equivalences on finite safe nets (preliminary report) (Q4630288) (← links)
- On Weighted Petri Net Transducers (Q5166767) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
