On the Observational Semantics of Fair Parallelism

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. On the observational semantics of fair parallelism Philippe Darondeau, Laurent Kott

[1]  Ugo Montanari,et al.  Labeled Event Structures: A Model for Observable Concurrency , 1982, Formal Description of Programming Concepts.

[2]  David Michael Ritchie Park,et al.  On the Semantics of Fair Parallelism , 1979, Abstract Software Specifications.

[3]  Philippe Darondeau,et al.  Processus non-séquentiels et leurs observations en univers non-centralisé , 1980, Symposium on Programming.

[4]  Philippe Darondeau,et al.  An enlarged definition and complete axiomatization of observational congruence of finite processes , 1982, Symposium on Programming.

[5]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[6]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[7]  Glynn Winskel,et al.  Events in computation , 1980 .

[8]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[9]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[10]  Willem P. de Roever,et al.  Fairness Assumptions for CSP in a Temporal Logic Framework , 1982, Formal Description of Programming Concepts.

[11]  Matthew Hennessy,et al.  A Term Model for CCS , 1980, MFCS.

[12]  Gérard Boudol,et al.  Algèbre de Processus et Synchronisation , 1984, Theor. Comput. Sci..