A CSP model of Eiffel's SCOOP

Formal Aspects of Computing

Volumn 19, Issue 4, 2007, Pages 487-512

  Brooke, Phillip J ^a   Paige, Richard F ^b   Jacob, Jeremy L ^b  

^a TEESSIDE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Concurrency; Eiffel; Formal methods; Programming languages; SCOOP

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEM RECOVERY; CONCURRENCY CONTROL; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

EIFFEL; FORMAL SEMANTICS; RUN TIME SYSTEMS; SIMPLE CONCURRENT OBJECT ORIENTED PROGRAMMING (SCOOP);

SEMANTICS;

EID: 35349003340     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-007-0033-8     Document Type: Article

References (21)

1. Bailly A (2004) Formal semantics and proof systems for SCOOP, draft paper
2. Brooke PJ, Paige RF (2006) An alternative model of concurrency for Eiffel. In: Paige RF, Brooke PJ (eds) Proceedings of the 1st international symposium on concurrency, real-time, and distribution in Eiffel-like languages (CORDIE), number YCS-TR-405, University of York
3. Brooke PJ, Paige RF (2007) Exceptions in concurrent Eiffel. J Object Technol (to appear)
4. Caromel D (1993) Towards a method of object-oriented concurrent programming. Commun ACM 36(9):90-102
5. Compton M (2000) SCOOP: an investigation of concurrency in Eiffel. MSc Thesis, Australian National University
6. ECMA-367 (2005) Eiffel analysis, design and programming language, Ecma International
7. Formal Systems (Europe) Ltd (1995) Failures-divergence refinement: FDR 2. http://www.formal.demon.co.uk/
8. Freitas AF, Cavalcanti ALC (2006) Automatic translation from Circus to Java. In: Proceedings of the FM 2006, LNCS 4085. Springer, Heidelberg
9. Fuks O, Ostroff JS, Paige RF (2004) SECG: the SCOOP-to-Eiffel code generator. J Object Technol 3(10):143-160
10. Graphviz-Graph Visualization Software. http://www.graphviz.org/, last visited 10th October 2006
11. Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs
12. Mahony B, Dong JS (2002) Deep semantic links of TCSP and object-Z: TCOZ approach. Formal Asp Comput J 13:142-160
13. Matsuoka S, Taura K, Yonezawa A (1993) Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. In: Proceedings of the OOPSLA '93
14. Meyer B (1997) Object-oriented software construction, 2nd edn. Prentice Hall, Englewood Cliffs
15. Nienaltowski P, Arslan V, Meyer B (2004) SCOOP: concurrent programming made easy, draft paper, http://www.se.inf.ethz.ch/people/nienaltowski/papers/ scoop_easy_draft.pdf
16. Nienaltowski P, Meyer B (2005) SCOOPLI implementation, http://www.se.inf.ethz.ch/research/scoop.html
17. Nienaltowski P (ed) (2005) Proceedings of first SCOOP workshop, ETH Zurich, February 2005
18. Roscoe AW (1998) The theory and practice of concurrency. In: Series in computer science. Prentice Hall, Englewood Cliffs
19. Schneider S (2000) Concurrent and real-time systems. Wiley, New York
20. Taft T, Duff RA (eds) (1997) Ada 95 reference manual. In: Lectures notes in computer science, Vol 1246. Springer, Heidelberg
21. Woodcock J, Cavalcanti A (2002) The semantics of circus. In: Proceedings of the ZB, pp 184-203