Other presentations

  1. The Coalgebraic Approach

    We shall discuss the main constituents of the coalgebraic approach to the modelling of dynamical systems and infinite data structures.

    (i) A system is modelled by a map s: S -> F(S), where S is the set of the states of the system; F(-) is the system's type (formally a …

    read more
  2. The Differential Calculus of Bitstreams

    Using (stream) differential equations for definitions and coinduction for proofs, we define, analyse, and relate in a uniform way four different algebraic structures on the set of bitstreams (infinite sequences of 0's and 1's), characterising them in terms of the digital circuits they can describe.

    read more
  3. 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
  4. Elements of stream calculus

    As an extensive exercise in the use of coinductive techniques, the set of all streams (here: infinite sequences of real numbers) is turned into a calculus in two ways:

    the operation of `tail' of a stream is taken as a formal notion of derivative: (s0, s1, s2, ...) ' = (s1, s2, s3 …

    read more

Page 1 / 2 »

hosted by