Browsing by Subject "Concurrent systems"
Now showing items 1-4 of 4
-
Article
A general resource framework for real-time systems
(2004)The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and ...
-
Article
Modeling and analysis of power-aware systems
(2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
-
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 ...
-
Article
Social confluence in client-server systems
(1997)An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, ...