An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Distributed processes and location failures
Theoretical Computer Science
Relating CHAM Descriptions of Software Architectures
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
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
Hi-index | 0.00 |