Compiling Concurrent Rewriting onto the Rewrite Rule Machine

Hitoshi Aida, Joseph A. Goguen, José Meseguer. Compiling Concurrent Rewriting onto the Rewrite Rule Machine. In Stéphane Kaplan, Mitsuhiro Okada, editors, Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings. Volume 516 of Lecture Notes in Computer Science, pages 320-332, Springer, 1990.

Authors

Hitoshi Aida

This author has not been identified. Look up 'Hitoshi Aida' in Google

Joseph A. Goguen

This author has not been identified. Look up 'Joseph A. Goguen' in Google

José Meseguer

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