Publication | Closed Access

Categorical semantics of parallel program design

Declarative ProgrammingEngineeringParallel SoftwareProgram AnalysisFormal MethodsCategorical SemanticsParallel ProgrammingComputer ScienceParallel Programming ModelParallel ComputingSoftware AnalysisSoftware Design