Advertisement

Processus non-sequentiels et leurs observations en univers non-centralise

  • Ph. Darondeau
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)

Résumé

Nous étudions l'impact de la non-centralisation sur la nature des processus. La caractéristique majeure d'un univers non-centralisé est la règle d'incertitude sur les dates des événements d'un processus non-séquentiel, pour tout observateur de ce processus. Considérant cette caractéristique, le problème abordé est le suivant : quelles sont les définitions 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'étude de cette question nous amène à construire un modèle de processus non séquentiels à observations non-séquentielles, recueillies par des observateurs séquentiels. Nous montrons que la notion d'observation proposée, indispensable en univers non-centralisé, permet de définir une classe de processus qui étend la classe des processus non-séquentiels à observations séquentielles. Nous comparons les propriétés des processus ainsi définis à celles des "domaines concrets".

Keywords

Encore notEes Nous Proposons Nous Allons Nous Montrons Condition Suivante 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. Greif, I., A language for Formal Problem Specification, CACM 20, 12, pp. 931–935 (1977).Google Scholar
  2. Hewitt, C. et Baker H., Laws for Communicating Parallel Processes, IFIP 77 (North-Holland), pp. 987–992 (1977).Google Scholar
  3. Kahn, G. et Plotkin, G., Domaines concrets, IRIA, RR 336 (1978).Google Scholar
  4. Lamport, L., Time, clocks, and the Ordering of Events in a Distributed System, CACM 21, 7, pp. 558–564 (1978).Google Scholar
  5. Milner, R., Synthesis of Communicating Behaviour, 7th Symposium on Math. Foundations of Comp. Science, Zakopane, Poland (1978).Google Scholar
  6. Nead, J., On the Semantics of Control Statements, SIGPLAN Notices 14, 11, pp. 84–96 (1979).Google Scholar
  7. Nielsen, M., Plotkin, G., Winskel, G., Petri nets, event structures and Domains, Semantics of Concurrent Computation, Evian (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Ph. Darondeau
    • 1
  1. 1.Chargé de recherche CNRS. IRISARennes-CedexFrance

Personalised recommendations