Information and Computation
ACM Transactions on Computational Logic (TOCL)
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A format for semantic equivalence comparison
Theoretical Computer Science
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
A non-interleaving denotational semantics of value passing CCS with action refinement
FAW'07 Proceedings of the 1st annual international conference on Frontiers in algorithmics
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
| Hi-index | 0.00 |