The following pages link to (Q4730749):
Displaying 6 items.
- Lazy behavioral subtyping (Q710675) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- A blocking model for reactive objects (Q1918937) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)