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.

Abstract

Abstract is missing.