Nous etudions l'impact de la non-centralisation sur la nature des processus. La caracteristique majeure d'un univers non-centralise est la regle d'incertitude sur les dates des evenements d'un processus non-sequentiel, pour tout observateur de ce processus. Considerant cette caracteristique, le probleme aborde est le suivant : quelles sont les definitions les moins restrictives des concepts de processus et d'observations de processus assurant l'isomorphisme de l'ensemble des processus et de l'ensemble de leurs observations ? L'etude de cette question nous amene a construire un modele de processus non sequentiels a observations non-sequentielles, recueillies par des observateurs sequentiels. Nous montrons que la notion d'observation proposee, indispensable en univers non-centralise, permet de definir une classe de processus qui etend la classe des processus non-sequentiels a observations sequentielles. Nous comparons les proprietes des processus ainsi definis a celles des "domaines concrets".
[1]
James M. Nead,et al.
On the semantics of control statements
,
1979,
SIGP.
[2]
Irene Greif,et al.
A language for formal problem specification
,
1977,
CACM.
[3]
Leslie Lamport,et al.
Time, clocks, and the ordering of events in a distributed system
,
1978,
CACM.
[4]
Robin Milner,et al.
Synthesis of Communicating Behaviour
,
1978,
MFCS.
[5]
Carl Hewitt,et al.
Laws for Communicating Parallel Processes
,
1977,
IFIP Congress.
[6]
Glynn Winskel,et al.
Petri Nets, Event Structures and Domains
,
1979,
Semantics of Concurrent Computation.