You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of York » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of York

Return to search Previous output Next output

Output 27 of 139 in the submission

Article title

Cameo : an alternative model of concurrency for Eiffel

Type

D - Journal article

DOI

10.1007/s00165-008-0096-1

Title of journal

Formal Aspects of Computing

Article number

Volume number

Issue number

First page of article

363

ISSN of journal

0934-5043

Year of publication

2009

URL

http://link.springer.com/article/10.1007%2Fs00165-008-0096-1

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

D - Enterprise Systems

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract