Creol: A type-safe object-oriented model for distributed concurrent systems
From MaRDI portal
Publication:854164
DOI10.1016/j.tcs.2006.07.031zbMath1118.68031OpenAlexW2084712713MaRDI QIDQ854164
Einar Broch Johnsen, Ingrid Chieh Yu, Olaf Owe
Publication date: 7 December 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.031
Related Items
On detecting over-eager concurrency in asynchronously communicating concurrent object systems, A lightweight approach to smart contracts supporting safety, security, and privacy, Behavioral interface description of an object-oriented language with futures and promises, A secrecy-preserving language for distributed and object-oriented systems, Dynamic rebinding for concurrent object groups: theory and practice, Behavioural semantics for asynchronous components, Static checking of GDPR-related privacy compliance for object-oriented distributed systems, Secure Implementation of Asynchronous Method Calls and Futures, ASP\(_{\text{fun}}\) : a typed functional active object calculus, A system for compositional verification of asynchronous objects, Termination detection for active objects, A proof system for adaptable class hierarchies, Verification of asynchronous systems with an unspecified component, An evaluation of interaction paradigms for active objects, Backwards type analysis of asynchronous method calls, Incremental reasoning with lazy behavioral subtyping for multiple inheritance, Lazy behavioral subtyping, Concurrent Objects à la Carte, Deadlock detection for actor-based coroutines, An Object-Oriented Component Model for Heterogeneous Nets, Incremental Reasoning for Multiple Inheritance, Verifying traits: an incremental proof system for fine-grained reuse, Asynchronous sequential processes, Dynamic structural operational semantics, A Theory of Bounded Fair Scheduling
Uses Software
Cites Work
- Multiple inheritance in SIMULA-like languages
- A semantics of multiple inheritance
- Conditional rewriting logic as a unified model of concurrency
- ECOOP '94 - Object-oriented programming. 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings
- Maude: specification and programming in rewriting logic
- Objects in the \(\pi\)-calculus
- Guarded commands, nondeterminacy and formal derivation of programs
- Monitors
- A foundation for actor computation
- Polymorphic type, region and effect inference
- Programming as a Discipline of Mathematical Nature
- A survey of concurrent object-oriented languages
- Automated Reasoning
- Object-Oriented Specification and Open Distributed Systems
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
- Formal Methods for Components and Objects
- A calculus for concurrent objects
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item