References

[Abi00]

S. Abiteboul. Bases de données, 2000.

[Bou00]

F. Bourdoncle. Systèmes et réseaux, 2000.

[CS98]

D. E. Culler and J. P. Singh. Parallel Computer Architecture. Morgan-Kaufmann, 1998.

[Dij68]

E.W. Dijkstra. Cooperating Sequential Processes. Academic Press, 1968.

[GNS00]

E. Goubault, F. Nataf, and M. Schoenauer. Calcul parallèle, 2000.

[Hoa74]

C.A.R. Hoare. Monitors: an operating system structuring concept. Communication of the ACM, 17, 1974.

[Lyn96]

N. Lynch. Distributed Algorithms. Morgan-Kaufmann, 1996.

[OG75]

Susan S. Owicki and David Gries. Proving properties of parallel programs: An axiomatic approach. Technical Report TR75-243, Cornell University, Computer Science Department, May 1975.

[OW00]

S. Oaks and H. Wong. Java Threads. O'Reilly, 2000.

[Ray97]

M. Raynal. Algorithmique et Parallélisme, le problème de l'exclusion mutuelle. Dunod, 1997.

[Rem00]

D. Remy. Cours de compilation, 2000.

[Rob00]

Y. Robert. Algorithmique parallèle, 2000.

[Win93]

G. Winskel. The formal semantics of programming languages. The MIT Press, 1993.