Pages that link to "Item:Q854164"
From MaRDI portal
The following pages link to Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164):
Displaying 27 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Termination detection for active objects (Q444506) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- Deadlock detection for actor-based coroutines (Q2024332) (← links)
- A lightweight approach to smart contracts supporting safety, security, and privacy (Q2141289) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems (Q2669242) (← links)
- A run-time environment for concurrent objects with asynchronous method calls (Q2849872) (← links)
- Secure Implementation of Asynchronous Method Calls and Futures (Q2957110) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- A Theory of Bounded Fair Scheduling (Q5505612) (← links)
