Browsing by Subject "Labelled transition systems"
Now showing items 1-1 of 1
-
Article
On sharing and determinacy in concurrent systems
(1995)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 ...