Pages that link to "Item:Q1333406"
From MaRDI portal
The following pages link to Reasoning about dynamically evolving process structures (Q1333406):
Displayed 4 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes (Q5958463) (← links)