By the same authors

From the same journal

From the same journal

Cameo: an alternative model of concurrency for Eiffel

Research output: Contribution to journalArticle



Publication details

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


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.

    Research areas

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations