Output details
11 - Computer Science and Informatics
University of York
Cameo : an alternative model of concurrency for Eiffel
<08>Rigour: A mathematical semantics, implemented using a model checker, is provided for the concurrency model, and properties related to deadlock freedom are automatically checked. Originality: An alternative concurrency model for an existing programming language which increases parallelism is presented. It is related to known limitations of existing models and shows that these limitations can be addressed. Significance: the research has influenced at a fine-grained level the evolution of the SCOOP concurrency mechanism. The current implementation in EiffelStudio, derived from the PhD thesis of Nienaltowski, makes use of one of the key design features (big-locks) of Cameo.