Original Article

Formal Aspects of Computing

, Volume 21, Issue 4, pp 363-391

First online:

Cameo: an alternative model of concurrency for Eiffel

  • Phillip J. BrookeAffiliated withSchool of Computing, University of Teesside Email author 
  • , Richard F. PaigeAffiliated withDepartment of Computer Science, University of York

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We present a new concurrency model for the Eiffel programming language. The model is motivated by describing a number of semantic problems with the leading concurrency model for Eiffel, namely SCOOP. Our alternative model aims to preserve the existing behaviour of sequential programs and libraries wherever possible. Comparison with the SCOOP model is made. The concurrency aspects of the alternative model are presented in CSP along with a model of exceptions. The results show that while the new model provides increased parallelism, this comes with the price of increased overhead due to lock management.


Concurrency Formal methods Programming languages Eiffel Alternative to SCOOP Asynchronous exceptions