A causal operational semantics of action refinement

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

Vertical implementation

Information and Computation

Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement

ACM Transactions on Computational Logic (TOCL)

Action Refinement in Process Algebra and Security Issues

Logic-Based Program Synthesis and Transformation

Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae