Action Refinement
Roberto Gorrieri, Arend Rensink · 1999
This paper is a thourough survey on the state of the art of action refinement in process algebras, with a historical perspective. (To appear as Chapter XVI of the Handbook of Process Algebra, Elsevier Science, 1999.)