Sur l'Observation de la Repartition des Processus (Observing Localities)

摘要

A refined version of observation for CCS (Calculus of Communicating Systems)which allows the observer to see the distributed nature of processes is introduced. Using several examples, it is argued that a semantic theory based on such observations is not only intuitive but may also be of use when formalizing the relationship between implementations and specifications. The resulting theory of 'location equivalence' is shown to be very similar to that of bi-simulation equivalence, for example it can be characterized by a simple modal logic. A comparison with distributed bi-simulations is given.