Cameo: an alternative model of concurrency for Eiffel

Phillip Brooke, Richard Paige

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)363-391
Number of pages29
JournalFormal Aspects of Computing
Issue number4
Publication statusPublished - Aug 2009


  • Concurrency
  • Formal methods
  • Programming languages
  • Eiffel
  • Alternative to SCOOP
  • Asynchronous exceptions

Cite this