Cited in
(16)- Denotational semantics of a parallel object-oriented language
- Verification and refinement with fine-grained action-based concurrent objects
- An algebra for process creation
- Self and selftype
- A layered semantics for a parallel object-oriented language
- Modular specification of process algebras
- Smalltalk
- PROCOL
- Miranda
- Simula 67
- Designing equivalent semantic models for process creation
- \(Booster\): A high-level language for portable parallel algorithms
- scientific article; zbMATH DE number 177841 (Why is no real title available?)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- Plain CHOCS. A second generation calculus for higher order processes
- Issues in the design of a parallel object-oriented language
This page was built for software: POOL