On sharing and determinacy in concurrent systems
Date
1995Author
Philippou, AnnaWalker, D.
ISSN
0302-9743Source
6th International Conference on Concurrency Theory, CONCUR 1995Volume
962Pages
456-470Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic definitions of the language, that they guarantee determinacy, indeed confluence. The first semantic definition is an operational semantics in which a program is interpreted as a labelled transition system whose points represent configurations of systems of objects. The second definition is by translation to a general process-calculus model of systems with dynamically-evolving structure. © 1995, Springer Verlag. All rights reserved.