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 |
Issue 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 | Size | Format | |
---|---|---|---|---|
fulltext.pdf | 2.4 MB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.