Julkaisu

Reference

Back RJR, Martin AJ, Sere K. An action system specification of the Caltech asynchronous microprocessor. In: Möller B, ed. Mathematics of Program Construction. Third International Conference, MPC'95, Proceedings, Kloster Irsee, Germany, July 1995, p. 159-179. Springer, 1995. Lecture Notes in Computer Science 947.

Julkaisutiedot

Julkaisutyyppi: Artikkeli konferenssijulkaisussa.
Kansainvälinen.
Kieli: Englanti.

Publication data

Publication type: Paper in proceedings, extended abstracts.
International.
In English.


Tekijät

Contributors

Kuopion yliopisto

University of Kuopio

  • Department of Computer Science
    • Kaisa Sere

Julkaisutietokanta 15.4.2008 Publications Data Base 15.4.2008