An Action System Specification of the Caltech Asynchronous Microprocessor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Alain J. Martin' in GoogleThis author has not been identified. Look up 'Kaisa Sere' in Google

runs on WebDSL