A Tutorial on Action Semantics

BRICS NS-96-14 P. D. Mosses: A Tutorial on Action SemanticsBRICSBasic Research in Computer ScienceA Tutorial on Action SemanticsPeter D. MossesBRICS Notes Series NS-96-14ISSN 0909-3206 December 1996Copyright c 1996, BRICS, Department of Computer ScienceUniversity of Aarhus. All rights reserved.Reproduction of all or part of this workis permitted for educational or research useon condition that this copyright notice isincluded in any copy.See back inner page for a list of recent publications in the BRICSNotes Series. Copies may be obtained by contacting:BRICSDepartment of Computer ScienceUniversity of AarhusNy Munkegade, building 540DK - 8000 Aarhus CDenmarkTelephone: +45 8942 3360Telefax: +45 8942 3255Internet: BRICS@brics.dkBRICS publications are in general accessible through World WideWeb and anonymous FTP:http://www.brics.dk/ftp://ftp.brics.dk/This document in subdirectoryNS/96/14/A Tutorial on Action SemanticsNotes for FME’961Peter D. Mosses2BRICSDept. of Computer ScienceUniversity of AarhusNy Munkegade, Bldg. 540DK{8000 Aarhus C, DenmarkMarch 19961Internet: pdmosses@brics.dk, Home page URL: http://www.brics.dk/~pdm2Centre for Basic Research in Computer Science, established in cooperation betweenthe Danish National Research Foundation and the Universities of Aarhus and AalborgSummaryAction Semantics is a useful framework for specifying programming languages: doc-umenting design decisions, setting standards for ...