Philippe Mauran

Learn More
In distributed systems, message passing is a low level representation of communication resulting in intricate designs and proofs. This paper presents a new abstraction to express communication: the observation. This notion provides a more concise expression of programs and properties, and consequently is an eeective help in understanding and reasoning about(More)
We present the development and the validation of an algorithm for detecting the termination of diffusing computations. Although such a problem has been extensively studied, to the best of our knowledge, this is the first one which is based on the maximal paths generated by a diffusing computation. After an informal presentation of the algorithm, we proceed(More)
We introduce a model for diffusing computations, along with a representation for the structure of such computations. This representation appears to be well-fitted to the description of mobile agents: it does not require any beforehand knowledge about the communication medium topology and it can cope with a dynamic topology, to which sites can be added or(More)
The Unity formalism provides a uniied model for reasoning about reactive programs either synchronous or asynchronous. We outline this fundamental property through the Unity expression of some real time formalisms and languages. Moreover, the choice between synchronicity and asynchronicity may be made in the framework of a top-down design. Lastly, it allows(More)
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 level, resulting into intricated models and proofs. To provide a more abstract view of distributed systems, we propose two extensions to UNITY. The first one is an observation relation(More)