The port-based object is a new software abstraction for designing and implementing
dynamically reconfigurable real-time software. It forms the basis of a programming model …

We formalise, using Category Theory, modularisation techniques for parallel and distributed
systems based on the notion of superposition, showing that parallel program design obeys …

Dynamic reconfiguration is the ability to modify a parallel or distributed system while it is
running. We adopt the framework developed by Kramer et al.(1985) at the system …

One of the ways in which we cope with large and complex systems is to abstract away some
of the detail, considering them at an architectural level as compositions of interacting …

This paper describes a model of agent-based transactions, ie, distributed transactions which
are realized with the use of mobile agents, for an environment of heterogeneous and …

Programming environments for the development of distributed applications are called to face
issues such as the configuration of the interconnection system, the coordination of …

This paper provides an overview of configuration-based programming, focusing primarily on
associated formal methods aimed at easing the development of correct distributed …

Dynamic reconfiguration allows the system configuration to be changed while the system is
in execution. It is definitely a desirable property for any large distributed system where …

Large computer systems are expected to have long lifetime. For this reason, a system should
evolve as user and system demands change. Attempts have been made at this in the field of …

Managing communications in parallel processing systems has proven to be one of the most
critical problems facing designers. As processor speeds continue to increase …