Pages that link to "Item:Q5897454"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897454):
Displaying 5 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)