Browsing by Subject "Operational semantics"
Now showing items 1-2 of 2
-
Conference Object
A framework for dynamic validation of context-aware applications
(2012)The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that ...
-
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 ...