Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Distributed processes and location failures
Theoretical Computer Science
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Language-based performance prediction for distributed and mobile systems
Information and Computation
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Dynamic connectors for concurrency
Theoretical Computer Science
A Causal Semantics for Timed Default Concurrent Constraint Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
From Gene Regulation to Stochastic Fusion
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Decompositional reasoning about the history of parallel processes
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A fully abstract view for local cause semantics
GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
Parameterized Structured Operational Semantics
Fundamenta Informaticae
General patterns of interaction in stochastic fusion
Natural Computing: an international journal
Hi-index | 0.00 |