Composing atomic features

DOI10.1016/J.SCICO.2006.05.007zbMATH Open1119.68047OpenAlexW2089904682MaRDI QIDQ856903FDOQ856903

Authors: Patrick Eugster, Sebastien Vaucouleur 

Publication date: 14 December 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.05.007

Recommendations

• Beyond contracts for concurrency
• Flexible access control policy for SCOOP
• A CSP model of Eiffel's SCOOP
• Contracts for concurrency
• Concurrency and atomicity

zbMATH Keywords

concurrencycompensationtransactionsobjectsSCOOP

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (3)

• A CSP model of Eiffel's SCOOP
• Contracts for concurrency
• Flexible access control policy for SCOOP

Uses Software

• SCOOP
• Eiffel

This page was built for publication: Composing atomic features

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856903)