Algèbre de Processus et Synchronisation

Resume Nous introduisons ici un calcul de processus fonde sur une composition parallele asynchrone, et quelques primitives de synchronisation. Nous montrons qu'on peut y formuler de nombreux mecanismes de synchronisation; en particulier il s'avre equivalent au calcul synchrone de Milner (1980, 1983). Nous evaluons sa puissance d'expression en termes de langages de comportements.

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

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

[3]  Matthias Jantzen.  The Power of Synchronizing Operations on Strings , 1981, Theor. Comput. Sci..

[4]  Alan C. Shaw,et al.  Software Specification Languages Based on Regular Expressions , 1980 .

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

[6]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

[7]  Robin Milner,et al.  On relating synchrony and asynchrony , 1980 .