From a specification to an equivalence proof in object-oriented parallelism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1586, Issue , 1999, Pages 1197-1214

  Attali, Isabelle ^a   Caromel, Denis ^a   Lippi, Sylvain ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY TREES; COMPUTER PROGRAMMING; MODELING LANGUAGES; SPECIFICATIONS;

BEHAVIORAL EQUIVALENCE; BINARY SEARCH TREES; CONCURRENT PROGRAMMING; EXECUTION MODEL; OBJECT ORIENTED; PARALLELIZATIONS; SEQUENTIAL PROGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84868288080     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0098003     Document Type: Conference Paper

References (25)

1. R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous π-calculus. In Proc. CONCUR ‘96, volume 1119. LNCS, Springer-Verlag, 1996.
2. I. Attali, D. Caromel, S. Ehmety, and S. Lippi. Semantic-based visualization for parallel object-oriented programming. In Proceedings of OOPSLA ‘96, volume 31 of ACM Sigplan Notices, San Jose, CA, October 1996. ACM Press.
3. E. Bruneton. Implantation d’un traducteur eiffel//-π-calcul. Rapport de stage deuxième année, Ecole Polytechnique, juillet 1996.
4. Concurrent Object-Oriented Programming. Communications of the ACM, 36 (9), 1993. Special issue.
5. D. Caromel. Service, Asynchrony and Wait-by-necessity. Journal of Object-Oriented Programming, 2(4):12-22, November 1989.
6. D. Caromel. Concurrency and Reusability: From Sequential to Parallel. Journal of Object-Oriented Programming, 3(3):34-42, September 1990.
7. D. Caromel. Towards a Method of Object-Oriented Concurrent Programming. Communications of the ACM, 36(9):90-102, September 1993.
8. Denis Caromel, Fabrice Belloncle, and Yves Roudier. The C++// Language. MIT Press, 1996. ISBN 0-262-73118-5.
9. D. Doligez. Conception, réalisation et certification d’un glaneur de cellules concurrent. PhD thesis, Université Paris VII, 1995.
10. Urban Engberg. The tlp system, http://www.dalmi.aau.dk/~urban/tlp/tlp.html.
11. G. Gonthier. Verifying the safety of a practical concurrent garbage collector. In Proc. of the Eighth International Conference on Computer-Aided Verification, ACM, New Brunswick, New Jersey, 1996.
12. S. Hodges and C. B. Jones. Non-interferance properties of a concurrent objectbased language: Proofs based on an operational semantics. In Object Orientation with Parallelism and Persistance. Kluwer Academic Publishers, 1996. ISBN 0-7923-9770-3.
13. L. Lamport. Hybrid systems in tla+. In Hybrid Systems, pages 77-102. Springer Verlag LNCS 736, 1993.
14. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
15. L. Lamport. The Module Structure of TLA+. Technical Report 1996-002, DEC SRC, September 1996.
16. L. Lamport. The operators of TLA+. Technical Report 1997-006a, DEC SRC, April 1997.
17. L. Lamport and S. Merz. Specifying and verifying fanlt-tolerant systems. In H. Langmaack, W. P de Roever, and J. Vytopil, editors, Formal Techniques in real-time and fault-tolerant systems, volume 863 of Lecture Notes in Computer Science, pages 41-76. Springer-Verlag, 1994.
18. X. Liu and D. Walker. Confluence of processes and systems of objects. In Proc. of Theory and Practice of Software Development (TAPSOFT’95) 6th International Joint Conference CAAP/FASE, 1995.
19. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
20. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, i and ii. Journal of Information and Computation, 100:1-77, 1992.
21. O. Nierstrasz. The next 700 concurrent object-oriented languages-reflections on the future of object-based concurrency. Object composition, Centre Universitaire d’Informatique, University of Geneva, June 1991.
22. O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors. Rule-based Object Coordination. LNCS 924. Springer-Verlag, 1995.
23. David Sagnol. π-calcul pour les langages à objets parallèles. Rapport de stage de DEA, Université de Nice-Sophia Antipolis, Juin 1995.
24. P. Wegner. Design issues for object-based concurrency. In Proc. of the ECOOP ‘91 Workshop on Object-Based Concurrent Computing, LNCS 612, 1992.
25. G. Wilson and P. Lu, editors. Parallel Programing Using C++. MIT Press, 1996. ISBN 0-262-73118-5.