The following pages link to Olaf Owe (Q444465):
Displaying 38 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- ANNA. A language for annotating Ada programs. Reference manual (Q578891) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Generator induction in order sorted algebras (Q749219) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Axiomatic treatment of processes with shared variables revisited (Q1194205) (← links)
- Partial logics reconsidered: A conservative approach (Q1261311) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← 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)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems (Q2669242) (← links)
- (Q2718776) (← links)
- (Q2849872) (← links)
- Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)
- Safe Locking for Multi-threaded Java (Q2894561) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- (Q4390744) (← links)
- (Q4737568) (← links)
- (Q4790344) (← links)
- Compositional Reasoning about Shared Futures (Q4899685) (← links)
- Hoare-Style Reasoning from Multiple Contracts (Q5045478) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- A Biography of Ole-Johan Dahl (Q5390271) (← links)
- A Bibliography of Ole-Johan Dahl (Q5390272) (← links)
- Object-Oriented Specification and Open Distributed Systems (Q5390275) (← links)
- (Q5457268) (← links)
- Formal Methods for Components and Objects (Q5897454) (← links)
