Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
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
Primitives for authentication in process algebras
Theoretical Computer Science
Hi-index | 0.00 |