The following pages link to (Q4522244):
Displaying 11 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Procedures and atomicity refinement (Q1350927) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- Tractable refinement checking for concurrent objects (Q2819855) (← links)
- (Q4536993) (← links)
- Unifying Concurrent Objects and Distributed Tasks (Q4625665) (← links)
- (Q4813012) (← links)
- (Q5169582) (← links)
- Brief Announcement (Q5368988) (← links)
- Formal Methods for Components and Objects (Q5897130) (← links)