TY  - GEN
ID  - cogprints489
UR  - http://cogprints.org/489/
A1  - Akman, Varol
Y1  - 1993/08//
N2  - This is a review of Action Semantics, by Peter D. Mosses, published by Cambridge University Press in 1992.
KW  - programming language semantics
KW  -  reasoning about actions
KW  -  action semantics
KW  -  denotational semantics
KW  -  Ada.
TI  - Book Review -- Peter D. Mosses, Action Semantics
SP  - 442
AV  - public
EP  - 444
ER  -

<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>