Browsing by Subject "Transformation rules"
Now showing items 1-1 of 1
-
Article
On transformations of concurrent object programs
(1996)Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by ...