Other presentations

  1. Modelling component connectors in Reo by constraint automata

    In an earlier report:

    F. Arbab, J.J.M.M. Rutten A coinductive calculus of component connectors Technical Report SEN-R0216, CWI, Amsterdam, 2002, pp. 1--17. To appear in the proceedings of WADT 2002. (Available at http://www.cwi.nl/~janr)

    a coinductive model for the component connector calculus Reo was …

    read more
  2. Branching Time Relations for Markov Chains

    Markov Chains are an important class of stochastic processes that are widely used in practice to determine system performance and dependability characteristics. This talk will consider discrete-time and continuous-time Markov chains and explain notions of strong and weak simulation and bisimulation relations for them. Moreover, the talk will discuss the …

    read more

Page 1 / 1

hosted by