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