The following pages link to POOL (Q15864):
Displaying 12 items.
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Self and selftype (Q918663) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- \(Booster\): A high-level language for portable parallel algorithms (Q1181513) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- An algebra for process creation (Q1203719) (← links)
- Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- (Q4038719) (← links)