Beyond contracts for concurrency

DOI10.1007/S00165-008-0073-8MaRDI QIDQ846113zbMATH OpenOpenAlexFDO

Authors Jonathan S. Ostroff, Faraz Ahmadi Torshizi, Hai Feng Huang, Bernd Schoeller

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-0073-8

zbMATH Keywords

concurrent contractsoperational semanticsSCOOP (simple concurrent object oriented programming)temporal logicverification

Mathematics Subject Classification ID

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

Recommendations

• Contracts for concurrency
• Constraint-based concurrency and beyond
• Session-typed concurrent contracts
• Session-typed concurrent contracts
• Concurrent specifications beyond linearizability
• Primitives for contract-based synchronization
• scientific article; zbMATH DE number 2085264
• Concurrency semantics in continuation-passing style
• Contractions in comparing concurrency semantics
• scientific article; zbMATH DE number 4060684

Cites work

• A CSP model of Eiffel's SCOOP
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• Joining specification statements
• Model checking JAVA programs using JAVA PathFinder

Cited in

(8)

• Adding concurrency to smart contracts
• A CSP model of Eiffel's SCOOP
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• Asynchronous Cooperative Contracts for Cooperative Scheduling
• Contracts for concurrency
• Flexible access control policy for SCOOP
• Composing atomic features
• Contractions in comparing concurrency semantics

Describes a project that uses

Uses Software

• SPIN
• Spec#
• Boogie
• CSPsim
• JML
• SCOOP
• Eiffel
• ESC/Java
• Java PathFinder

This page was built for publication: Beyond contracts for concurrency

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