Browsing by Author "Kleijn, Jetty"
Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (2015-07-01)
Open AccessSociety is still trying to catch up with technology in the wake of the digital revolution of the last twenty years. Current systems need to be both heterogeneous and able to deal with enormous volumes of data coming from ...
Carmona Vargas, Josep; Beek, Maurice ter; Hennicker, Rolf; Kleijn, Jetty (Springer, 2017)
Open AccessCompatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate ...
Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
Open AccessWe consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ...