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 4 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)
