Enhanced operational semantics
ACM Computing Surveys (CSUR)
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
| Hi-index | 0.00 |