Pages that link to "Item:Q2864507"
From MaRDI portal
The following pages link to Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507):
Displaying 12 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)