Concurrent objects à la carte

DOI10.1007/978-3-642-11512-7_12MaRDI QIDQ5187829zbMATH OpenOpenAlexFDO

Authors Dave Clarke, Einar Broch Johnsen, Olaf Owe

Publication date 9 March 2010

Published in Concurrency, Compositionality, and Correctness (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/288824

Mathematics Subject Classification ID

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

Recommendations

• Services as a Paradigm of Computation
• Service oriented computing from a process algebraic perspective
• scientific article; zbMATH DE number 2080842
• Service-oriented logic programming
• A perspective on service orchestration

Cites work

• A Complete Guide to the Future
• A concurrent lambda calculus with futures
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Formal semantics of a VDM extension for distributed embedded systems
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• scientific article; zbMATH DE number 2087419 (Why is no real title available?)
• Maude: specification and programming in rewriting logic
• Objects and session types
• Semantic subtyping for the pi-calculus
• Semantics and pragmatics of real-time maude
• Service oriented computing from a process algebraic perspective
• The revised report on the syntactic theories of sequential control and state

Cited in

(5)

• scientific article; zbMATH DE number 2080796 (Why is no real title available?)
• scientific article; zbMATH DE number 2080842 (Why is no real title available?)
• scientific article; zbMATH DE number 2087599 (Why is no real title available?)
• Formal semantics of a VDM extension for distributed embedded systems
• May-happen-in-parallel analysis for actor-based concurrency

Describes a project that uses

Uses Software

• Maude
• Creol
• Erlang

This page was built for publication: Concurrent objects à la carte

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