A foundation for refining concurrent objects

Fundamenta Informaticae

Volumn 44, Issue 1-2, 2000, Pages 25-61

  Büchi, Martin ^a   Sekerinski, Emil ^b  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

^b MCMASTER UNIVERSITY   (Canada)

Author keywords

Action systems; Atomicity refinement; Class refinement; Classes; Concurrent objects; Early return; Inheritance; Simulation; Subtyping

Indexed keywords

EID: 0040568542     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (31)

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer Verlag, 1996.
2. Pierre America. Designing an object-oriented programming language with behavioral subtyping. In Foundations of Object-Oriented Languages, REX School/Workshop, Lecture Notes in Computer Science 489, pages 60-90, 1991.
3. Ralph Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
4. Ralph Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe, Eindhoven, June 1989. Springer-Verlag.
5. Ralph Back. Atomicity refinement in a refinement calculus framework. Technical Report on Computer Science & Mathematics, Ser. A. No 141, Åbo Akademi, 1993.
6. Ralph Back, Martin Büchi, and Emil Sekerinski. Action-based concurrency and synchronization for objects. In T. Rus and M. Bertran, editors, Transformation-Based Reactive System Development, Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, Lecture Notes in Computer Science 1231, pages 248-262, Palma, Mallorca, Spain, 1997. Springer-Verlag.
7. Ralph Back and Reino Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 131-142. ACM Press, 1983.
8. Ralph Back and Reino Kurki-Suonio. Distributed co-operation with action systems. ACM Transactions on Programming Languages and Systems 10:513-554, 1988.
9. Ralph Back and Kaisa Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, IFIP Working Conference on Programming Concepts, Methods, Calculi, pages 107-126, San Miniato, Italy, 1994. North-Holland.
10. Ralph Back and Joakim von Wright. Trace refinement of action systems. In B. Jonsson and J. Parrow, editors, CONCUR '94: Concurrency Theory, Lecture Notes in Computer Science 836. Springer-Verlag, 1994.
11. Ralph Back and Joakim von Wright. Refinement Calculus - A Systematic Introduction. Springer-Verlag, 1998.
12. Ralph Back and Joakim von Wright. Products in the refinement calculus. Technical Report 235, Turku Centre for Computer Science, February 1999.
13. Marcello M. Bonsangue, Joost N. Kok, and Kaisa Sere. An approach to object-orientation in action systems. In Mathematics of Program Construction, Lecture Notes in Computer Science 1422, Marstrand, Sweden, 1998. Springer-Verlag.
14. K. M. Chandy and J. Misra. Parallel Program Design - A Foundation. Addison Wesley, 1988.
15. Ernie Cohen and Leslie Lamport. Reduction in TLA. In Proceedings of CONCUR'98, Lecture Notes in Computer Science 1466, pages 317-331. Springer-Verlag, 1998.
16. William Cook and Jens Palsberg. A denotational semantics of inheritence and its correctness. In ACM Conference Object Oriented Programming Systems, Languages and Applications, ACM SIGPLAN Notices, Vol 14, No 10, pages 433-443, 1989.
17. J.W. de Bakker and E.P. de Vink. Bisimulation semantics for concurrency with atomicity and action refinement. Fundamenta Informaticae, 20(1):3-34, 1994.
18. H.-M. Järvinen and R. Kurki-Suonio. DisCo specification language: Marriage of action and objects. In Proceedings of 11th International Conference on Distributed Computing Systems, pages 142-151, Arlington, Texas, 1991. IEEE Computer Society Press.
19. Cliff B. Jones. An object-based design method for concurrent programs. Technical report, University of Manchester, Department of Computer Science, December 1992.
20. Cliff B. Jones. Accomodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design, 8(2):105-122, March 1996.
21. Leslie Lamport. The temporal logic of actions. ACM Transactions of Programming Languages and Systems, 16(3):872-923, 1994.
22. Leslie Lamport and Fred B. Schneider. Pretending atomicity. Technical Report Research Report 44, Compaq Systems Research Center, May 1989.
23. Richard J. Lipton. Reduction: A method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, December 1975.
24. Barbara H. Liskov and Jeanette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, November 1994.
25. David C. Luckham and Norihisa Suzuki. Verification of array, record, and pointer operations in Pascal. ACM Transactions on Programming Languages and Systems, 1(2):226-244, October 1979.
26. Leonid Mikhajlov and Emil Sekerinski. A study of the fragile base class problem. In Eric Jul, editor, ECOOP'98 - 12th European Conference on Object-Oriented Programming, Lecture Notes in Computer Science 1445, pages 355-382, Brussels, Belgium, 1998. Springer-Verlag.
27. Anna Mikhajlova and Emil Sekerinski. Class refinement and interface refinement in object-oriented programs. In John Fitzgerald, Cliff Jones, and Peter Lucas, editors, Formal Methods Europe'97, Lecture Notes in Computer Science 1313, pages 82-101, Graz, Austria, 1997. Springer-Verlag.
28. Jayadev Misra. A discipline of multiprogramming. ACM Computing Surveys, 28A(4), December 1996.
29. Caroll C. Morgan. Programming from Specifications. Prentice Hall, 1990.
30. Kaisa Sere and Marina Waldén. Data refinement of remote procedures. In Proceedings of TACS 97, Lecture Notes in Computer Science 1281, pages 267-294. Springer-Verlag, 1997.
31. Peter Wegner and Stanley B. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn't like. In S. Gjessing and K. Nygaard, editors, European Conference on Object Oriented Programming, Lecture Notes in Computer Science 322, pages 55-77. Springer-Verlag, 1988.