Adding Action Refinement to a Finite Process Algebra

Luca Aceto, Matthew Hennessy. Adding Action Refinement to a Finite Process Algebra. In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 506-519, Springer, 1991.

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Matthew Hennessy

This author has not been identified. Look up 'Matthew Hennessy' in Google