Well-behaved flow event structures for parallel composition and action refinement
Theoretical Computer Science
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Hi-index | 5.23 |