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".
Chapter PDF
References
Greif, I., A language for Formal Problem Specification, CACM 20, 12, pp. 931–935 (1977).
Hewitt, C. et Baker H., Laws for Communicating Parallel Processes, IFIP 77 (North-Holland), pp. 987–992 (1977).
Kahn, G. et Plotkin, G., Domaines concrets, IRIA, RR 336 (1978).
Lamport, L., Time, clocks, and the Ordering of Events in a Distributed System, CACM 21, 7, pp. 558–564 (1978).
Milner, R., Synthesis of Communicating Behaviour, 7th Symposium on Math. Foundations of Comp. Science, Zakopane, Poland (1978).
Nead, J., On the Semantics of Control Statements, SIGPLAN Notices 14, 11, pp. 84–96 (1979).
Nielsen, M., Plotkin, G., Winskel, G., Petri nets, event structures and Domains, Semantics of Concurrent Computation, Evian (1979).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Darondeau, P. (1980). Processus non-sequentiels et leurs observations en univers non-centralise. In: Robinet, B. (eds) International Symposium on Programming. Programming 1980. Lecture Notes in Computer Science, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09981-6_7
Download citation
DOI: https://doi.org/10.1007/3-540-09981-6_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09981-9
Online ISBN: 978-3-540-39233-0
eBook Packages: Springer Book Archive