---
abstract: 'This is a review of Action Semantics, by Peter D. Mosses, published by Cambridge University Press in 1992.'
altloc:
  - http://www.cs.bilkent.edu.tr/~akman/book-revs/as/as.html
chapter: ~
commentary: ~
commref: 'Peter D. Mosses, Action Semantics, Cambridge, UK: Cambridge University Press, 1992.'
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Akman
    given: Varol
    honourific: ''
    lineage: ''
date: 1993-08
date_type: published
datestamp: 1998-07-02
department: ~
dir: disk0/00/00/04/89
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 489
fileinfo: /style/images/fileicons/application_postscript.png;/489/2/as.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'programming language semantics, reasoning about actions, action semantics, denotational semantics, Ada.'
lastmod: 2011-03-11 08:53:59
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: 4
pagerange: 442-444
pubdom: FALSE
publication: Journal of Logic and Computation
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:28:56
subjects:
  - comp-sci-lang
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: 'Book Review -- Peter D. Mosses, Action Semantics'
type: journalp
userid: 178
volume: 3
<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>