The following pages link to Olaf Owe (Q444465):
Displaying 11 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)
