POOL
From MaRDI portal
Software:15864
swMATH3332MaRDI QIDQ15864FDOQ15864
Author name not available (Why is that?)
Cited In (12)
- Denotational semantics of a parallel object-oriented language
- Modular specification of process algebras
- Verification and refinement with fine-grained action-based concurrent objects
- Title not available (Why is that?)
- \(Booster\): A high-level language for portable parallel algorithms
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- Self and selftype
- A layered semantics for a parallel object-oriented language
- Plain CHOCS. A second generation calculus for higher order processes
- Issues in the design of a parallel object-oriented language
- An algebra for process creation
- Designing equivalent semantic models for process creation
This page was built for software: POOL
