Roberto Gorrieri, Arend Rensink. Action Refinement. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 1047-1147, North-Holland / Elsevier, 2001. [doi]
@incollection{GorrieriR01, title = {Action Refinement}, author = {Roberto Gorrieri and Arend Rensink}, year = {2001}, doi = {10.1016/b978-044482830-9/50034-5}, url = {https://doi.org/10.1016/b978-044482830-9/50034-5}, researchr = {https://researchr.org/publication/GorrieriR01}, cites = {0}, citedby = {0}, pages = {1047-1147}, booktitle = {Handbook of Process Algebra}, editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka}, publisher = {North-Holland / Elsevier}, isbn = {978-0-444-82830-9}, }