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.
@inproceedings{BackMS95,
title = {An Action System Specification of the Caltech Asynchronous Microprocessor},
author = {Ralph-Johan Back and Alain J. Martin and Kaisa Sere},
year = {1995},
researchr = {https://researchr.org/publication/BackMS95},
cites = {0},
citedby = {0},
pages = {159-179},
booktitle = {Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings},
editor = {Bernhard Möller},
volume = {947},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60117-1},
}