Browsing by Subject "Concurrent systems"

Now showing items 1-4 of 4

    • Article  

      A general resource framework for real-time systems 

      Lee, I.; Philippou, Anna; Sokolsky, O. (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 

      Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (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 

      Philippou, Anna; Walker, D. (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 

      Philippou, Anna; Walker, D. (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, ...