PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., De Nicola R., Montanari U. On the operational semantics of distributed concurrent systems. In: IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems. (Budapest, Hungary, 16 - 20 October 1988). Proceedings, pp. 3 - 32. G. David, R.T. Boute, B.D. Shriver (eds.). North-Holland, 1990.
 
 
Abstract
(English)
A methodology for defining truly concurrent operational semantics of distributed concurrent systems in a compositional way and for obtaining a hierarchy of increasingly abstract descriptions is proposed. All our descriptions at any level of abstraction are consistent by construction: first a very concrete operational semantics, called initial, is defined which fully expresses both the spatial and the internal structure of systems, and the causal dependencies of the actions they perform. From the initial description more abstracts ones are stepwise derived, which in turn define four operational semantics: the distributed, the causal, the multiset and the interleaving ones. All the descriptions have been defined within a fully declarative approach by inducing on the syntactic structure of the involved objects in a merely compositional way.
Subject Operational Semantics
Distributed Processes
Concurrency
CCS
Declarative Systems


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional