Pages that link to "Item:Q2864507"

The following pages link to Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507):

Displaying 7 items.

• 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)
• A system for compositional verification of asynchronous objects (Q1951610) (← links)
• Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)