POOL
From MaRDI portal
Software:15864
No author found.
Related Items
Designing equivalent semantic models for process creation ⋮ Issues in the design of a parallel object-oriented language ⋮ Denotational semantics of a parallel object-oriented language ⋮ Self and selftype ⋮ \(Booster\): A high-level language for portable parallel algorithms ⋮ A layered semantics for a parallel object-oriented language ⋮ An algebra for process creation ⋮ Verification and refinement with fine-grained action-based concurrent objects ⋮ Modular specification of process algebras ⋮ PROCOL. A concurrent object-oriented language with protocols delegation and constraints ⋮ Unnamed Item ⋮ Plain CHOCS. A second generation calculus for higher order processes
This page was built for software: POOL
