Bisimulation semantics for concurrency with atomicity and action refinement

A Foundation for Refining Concurrent Objects

Fundamenta Informaticae

Action Refinement in Process Algebra and Security Issues

Logic-Based Program Synthesis and Transformation

Recent advances in refinement

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice

A Foundation for Refining Concurrent Objects

Fundamenta Informaticae

Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae