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.

Abstract

Abstract is missing.