Brunel University Research Archive (BURA) >
College of Engineering, Design and Physical Sciences >
Dept of Computer Science >
Dept of Computer Science Research Papers >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/2993

Title: A general theory of action languages
Authors: Letichevsky, AA
Gilbert, D
Keywords: Interaction - semantics - behavior - environments - distribution
Publication Date: 1998
Publisher: Plenum Publishing Corporation
Citation: Cybernetics and System Analysis. 1: 16-37
Abstract: We present a general theory of action-based languages as a paradigm, for the description, of those computational systems which include elements of concurrency and networking, and extend this approach to describe dist.ributed systems and also t,o describe the interaction of a system, with an environment. As part of this approach we introduce the Action Language as a common model for the class of nondeterministic concurrent programming languages and define its intensional and interaction semantics in terrors of continuous transformation of environment behavior. This semantics i.s specialized for programs with stores, and extended to describe distributed computations.
URI: http://bura.brunel.ac.uk/handle/2438/2993
ISSN: 0023-1274
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
fulltext.pdf2.4 MBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.