creators_name: Akman, Varol
type: journalp
datestamp: 1998-07-02
lastmod: 2011-03-11 08:53:59
metadata_visibility: show
title: Book Review -- Peter D. Mosses, Action Semantics
ispublished: pub
subjects: comp-sci-lang
full_text_status: public
keywords: programming language semantics, reasoning about actions, action semantics, denotational semantics, Ada.
abstract: This is a review of Action Semantics, by Peter D. Mosses, published by Cambridge University Press in 1992.
date: 1993-08
date_type: published
publication: Journal of Logic and Computation
volume: 3
number: 4
pagerange: 442-444
refereed: TRUE
citation:   Akman, Varol  (1993) Book Review -- Peter D. Mosses, Action Semantics.  [Journal (Paginated)]     
document_url: http://cogprints.org/489/2/as.ps