A run-time environment for concurrent objects with asynchronous method calls

MaRDI QIDQ2849872zbMATH OpenFDO

Authors Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053095

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A system for compositional verification of asynchronous objects
• Asynchronous and deterministic objects
• Formal Methods for Components and Objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Modular Schedulability Analysis of Concurrent Objects in Creol

Cited in

(12)

• A rewriting logic approach to operational semantics
• Twenty years of rewriting logic
• A system for compositional verification of asynchronous objects
• The rewriting logic semantics project: a progress report
• Asynchronous and deterministic objects
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 2090572 (Why is no real title available?)
• Memory representations in rewriting logic semantics definitions
• Formal Methods for Components and Objects
• Creol: A type-safe object-oriented model for distributed concurrent systems
• The rewriting logic semantics project
• Backwards type analysis of asynchronous method calls

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A run-time environment for concurrent objects with asynchronous method calls

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