Previous Up


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

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

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.

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

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

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.

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

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

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

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

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

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

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.

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

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

D. Remy. Compilation, cours de l'Ecole Polytechnique, 2000.

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

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

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

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

Previous Up