Modular Schedulability Analysis of Concurrent Objects in Creol

DOI10.1007/978-3-642-11623-0_12zbMATH Open1274.68168OpenAlexW1785325397MaRDI QIDQ3400922FDOQ3400922

Authors: Tom Chothia, Mohammad Mahdi Jaghoori, Frank S. de Boer 

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_12

Recommendations

• Creol: A type-safe object-oriented model for distributed concurrent systems
• A perspective on specifying and verifying concurrent modules
• Composing real-time concurrent objects refinement, compatibility and schedulability
• A specification technique for scheduling the methods of concurrent objects
• A program logic for concurrent objects under fair scheduling
• scientific article; zbMATH DE number 2088654
• Modular reasoning about separation of concurrent data structures
• Schedulability of asynchronous real-time concurrent objects

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited In (3)

• Schedulability of asynchronous real-time concurrent objects
• Composing real-time concurrent objects refinement, compatibility and schedulability
• A run-time environment for concurrent objects with asynchronous method calls

Uses Software

• TAXYS

This page was built for publication: Modular Schedulability Analysis of Concurrent Objects in Creol

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