Concurrent Objects à la Carte
From MaRDI portal
Publication:5187829
DOI10.1007/978-3-642-11512-7_12zbMath1274.68058MaRDI QIDQ5187829
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Creol: A type-safe object-oriented model for distributed concurrent systems
- A concurrent lambda calculus with futures
- Service oriented computing from a process algebraic perspective
- Semantics and pragmatics of real-time maude
- Semantic subtyping for the pi-calculus
- Objects and session types
- The revised report on the syntactic theories of sequential control and state
- Maude: specification and programming in rewriting logic
- Formal Semantics of a VDM Extension for Distributed Embedded Systems
- A Complete Guide to the Future