Pages that link to "Item:Q5390275"
From MaRDI portal
The following pages link to Object-Oriented Specification and Open Distributed Systems (Q5390275):
Displaying 11 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Specification of object-oriented systems (Q2744183) (← links)
- (Q4282625) (← links)
- (Q4537846) (← links)
- (Q4762655) (← links)
- Brief Announcement (Q5368988) (← links)