Ralph-Johan Back, Alain J. Martin, Kaisa Sere. An Action System Specification of the Caltech Asynchronous Microprocessor. In Bernhard Möller, editor, Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings. Volume 947 of Lecture Notes in Computer Science, pages 159-179, Springer, 1995.
Abstract is missing.