• Article  

      Hiding resources that can fail: An axiomatic perspective 

      Philippou, Anna; Sokolsky, O.; Lee, I.; Cleaveland, R.; Smolka, S. A. (2001)
      In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we ...
    • Article  

      Process algebraic modelling and analysis of power-aware real-time systems 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2002)
      A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...
    • Article  

      Resources in process algebra 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2007)
      The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...