Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Distributed processes and location failures
Theoretical Computer Science
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
Comparison of Process Algebra Equivalences Using Formats
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A format for semantic equivalence comparison
Theoretical Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Formal Aspects in Security and Trust
A fully abstract view for local cause semantics
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
On the Decidability of Non-Interleaving Process Equivalences
Fundamenta Informaticae
Hi-index | 0.00 |