Pages that link to "Item:Q1951610"
From MaRDI portal
The following pages link to A system for compositional verification of asynchronous objects (Q1951610):
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)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
