We are investigating a component-based approach for formal design of distributed systems.
In this paper, we introduce the framework we use for specification, composition and …

We propose a description and validation of the ATMR protocol within the UNITY formalism.
This formal description helps us understand precisely the mechanisms this protocol …

As a general framework, UNITY does not offer any specific facility for the design of
distributed systems. For such systems, distribution aspects must be represented at a low …

As interest in components and composition-related methods is growing rapidly, it is not
always clear what the goals (and the corresponding difficulties) actually are. If composition is …

When describing a distributed application within the Unity framework, one usually uses the
composition by union to express the interaction between processes. Unfortunately, the …

We propose a minimal extension to the UNITY formalism to express mobility. Basically, we
assign an explicit location to variables. This approach implies to define a semantic notion of …