A Theory of Communicating Processes with Value-Passing

Matthew Hennessy, Anna Ingólfsdóttir. A Theory of Communicating Processes with Value-Passing. In Mike Paterson, editor, Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings. Volume 443 of Lecture Notes in Computer Science, pages 209-219, Springer, 1990.

Authors

Matthew Hennessy

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

Anna Ingólfsdóttir

This author has not been identified. It may be one of the following persons: Look up 'Anna Ingólfsdóttir' in Google