Luca Aceto, Matthew Hennessy. Towards Action-Refinement in Process Algebras. Inf. Comput., 103(2):204-269, April 1993.
@article{AcetoH93, title = {Towards Action-Refinement in Process Algebras}, author = {Luca Aceto and Matthew Hennessy}, year = {1993}, month = {April}, tags = {refinement, process algebra, algebra}, researchr = {https://researchr.org/publication/AcetoH93}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {103}, number = {2}, pages = {204-269}, }