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.
No references recorded for this publication.
No citations of this publication recorded.