scientific article; zbMATH DE number 653218

MaRDI QIDQ4309095zbMATH OpenFDO

Authors François Baude, D. B. Skillicorn

Publication date 26 September 1995

zbMATH Keywords

categorical data-typesdata-parallel modelsparallel computation

Mathematics Subject Classification ID

Categorical embedding theorems (18E20) Data structures (68P05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Recommendations

• Foundations of Parallel Programming
• scientific article; zbMATH DE number 2104622
• scientific article; zbMATH DE number 561553
• scientific article; zbMATH DE number 1066848
• Parallel programs implementing abstract data type operations

Cited in

(6)

• Categorical semantics of parallel program design
• Parallel programs implementing abstract data type operations
• Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
• scientific article; zbMATH DE number 561553 (Why is no real title available?)
• scientific article; zbMATH DE number 1066848 (Why is no real title available?)
• scientific article; zbMATH DE number 2104622 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4309095)