Cameo: an alternative model of concurrency for Eiffel

DOI10.1007/S00165-008-0096-1zbMath1184.68150OpenAlexW1984572654WikidataQ56047699 ScholiaQ56047699MaRDI QIDQ846117

Richard F. Paige, Phillip J. Brooke

Publication date: 1 February 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-008-0096-1

zbMATH Keywords

programming languagesformal methodsconcurrencyalternative to SCOOPasynchronous exceptionseiffel

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Compositional reasoning about active objects with shared futures

Uses Software

• Unnamed Item
• Unnamed Item
• TCOZ
• Eiffel
• CSPsim
• Circus

Cites Work

• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• ERC -- an object-oriented refinement calculus for Eiffel
• A CSP model of Eiffel's SCOOP
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cameo: an alternative model of concurrency for Eiffel