%0 Journal Article
%J J. Log. Algebr. Meth. Program.
%D 2016
%T Continuity as a computational effect
%A Renato Neves
%A Luis Soares Barbosa
%A Dirk Hofmann
%A Manuel A. Martins
%I Elsevier
%P 1057–1085
%R 10.1016/j.jlamp.2016.05.005
%U http://dx.doi.org/10.1016/j.jlamp.2016.05.005
%V 85
%X <p>The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by 1+, powerset, and distribution monads in the characterisation of partial, nondeterministic and probabilistic components, respectively. This monad and its Kleisli category provide a universe in which the effects of continuity over (different forms of) composition can be suitably studied.</p>
%Z <p>n/a</p>
%> https://haslab.uminho.pt/sites/default/files/lsb/files/nbhm16.pdf