Peter M. W. Knijnenburg;Joost N. Kok
-;-
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement
Fundamenta Informaticae