Browsing by Subject "Reactive systems"

Now showing items 1-2 of 2

    • Conference Object  

      Coordination of systems with real-time properties in manifold 

      Papadopoulos, George Angelos; Arbab, Farhad (IEEE, 1996)
      This paper combines work done in the areas of asynchronous timed computations and coordination models in order to derive a framework able to express real-time coordination without adhering to special architectures or ...
    • 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 ...