Pages that link to "Item:Q1884941"
From MaRDI portal
The following pages link to Well-behaved flow event structures for parallel composition and action refinement (Q1884941):
Displaying 6 items.
- Interleaving isotactics -- an equivalence notion on behaviour abstractions (Q1643139) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- ENFORCING CONCURRENT TEMPORAL BEHAVIORS (Q5484900) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
