Please use this identifier to cite or link to this item:
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.
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.