References

[Abi00]

S. Abiteboul. Bases de données, cours de l'Ecole Polytechnique, 2000.

[BG93]

E. Borowsky and E. Gafni. Generalized FLP impossibility result for t-resilient asynchronous computations. In Proc. of the 25th STOC. ACM Press, 1993.

[CC77]

P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, pages 238--252, 1977.

[Cou90]

P. Cousot. Methods and Logics for Proving Programs. Elsevier Science Publishers B.V. (North-Holland), 1990.

[Dij68]

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

[FLP82]

M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Technical Report MIT/LCS/TR-282, Massachusetts Institute of Technology, September 1982.

[GNS00]

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

[Gou03]

E. Goubault. Some geometric perspectives in concurrency theory. Homology Homotopy and Applications, 2003.

[Gun94]

J. Gunawardena. Homotopy and concurrency. In Bulletin of the EATCS, number 54, pages 184--193, October 1994.

[Hoa74]

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

[HR00]

M. Herlihy and S. Rajsbaum. A primer on algebraic topology and distributed computing. In Lecture Notes in Computer Science, number 1000. Springer-Verlag, 2000.

[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. Compilation, cours de l'Ecole Polytechnique, 2000.

[RL03]

Y. Robert and A. Legrand. Algorithmique Parallèle, Cours et problèmes résolus. Dunod, 2003.

[Rob00]

Y. Robert. Algorithmique parallèle. Technical report, Cours, Ecole Polytechnique, 2000.

[RR]

D. Reilly and M. Reilly. JAVA, Network Programming and Distributed Computing. Addison-Wesley.

[Win93]

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