Luca Aceto. Action refinement in process algebras. PhD thesis, University of Sussex, Falmer, East Sussex, UK, 1991. [doi]
@phdthesis{ethos-14748, title = {Action refinement in process algebras}, author = {Luca Aceto}, year = {1991}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.787135}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-14748}, cites = {0}, citedby = {0}, school = {University of Sussex, Falmer, East Sussex, UK}, }