Pages that link to "Item:Q2765661"
From MaRDI portal
The following pages link to Specifying concurrent object-oriented systems (Q2765661):
Displaying 9 items.
- Specification of concurrent objects using auxiliary variables (Q808725) (← links)
- An object-oriented concurrent programming language (Q2704672) (← links)
- Specification of object-oriented systems (Q2744183) (← links)
- A specification technique for scheduling the methods of concurrent objects (Q2770761) (← links)
- (Q4522244) (← links)
- (Q4537169) (← links)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement (Q4820463) (← links)
- Constructing systems as object communities (Q5044754) (← links)
- Brief Announcement (Q5368988) (← links)