The following pages link to (Q3468602):
Displaying 6 items.
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Denotational semantics of an object-oriented programming language with explicit wrappers (Q1261310) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- My ADT Shrine (Q2890319) (← links)
- Object interaction (Q5096831) (← links)
