Modular Schedulability Analysis of Concurrent Objects in Creol

DOI10.1007/978-3-642-11623-0_12MaRDI QIDQ3400922zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

Describes a project that uses

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)