External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

Isabelle Attali, Denis Caromel, Sylvain Lippi. From a Specification to an Equivalence Proof in Object-Oriented Parallelism. In José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna, editors, Parallel and Distributed Processing, 11 IPPS/SPDP 99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedi. Volume 1586 of Lecture Notes in Computer Science, pages 1197-1214, Springer, 1999.

Authors

Isabelle Attali

This author has not been identified. Look up 'Isabelle Attali' in Google

Denis Caromel

This author has not been identified. Look up 'Denis Caromel' in Google

Sylvain Lippi

This author has not been identified. Look up 'Sylvain Lippi' in Google
runs on