## Luca Aceto, Matthew Hennessy

*Adding Action Refinement to a Finite Process Algebra*

ICALP, 1991.

@inproceedings{ICALP-1991-AcetoH, author = "Luca Aceto and Matthew Hennessy", booktitle = "{Proceedings of the 18th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-54233-7_159", isbn = "3-540-54233-7", pages = "506--519", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Adding Action Refinement to a Finite Process Algebra}", volume = 510, year = 1991, }