Parallel programs implementing abstract data type operations

MaRDI QIDQ2755026zbMATH OpenFDO

Authors Zoltán Horváth, Tamás Kozsik, Tibor Venczel

Publication date 22 June 2005

Published in PU.M.A. Pure Mathematics and Applications (Search for Journal in Brave)

zbMATH Keywords

abstract data typesparallel programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• The formal specification of a problem solved by a parallel program - a relational model
• Foundations of Parallel Programming
• Parallel algorithms and correctness in parallel programs
• scientific article; zbMATH DE number 653218
• Communication relations: A paradigm for parallel program design

Cited in

(7)

• A parallel virtual machine for programs composed of abstract data types
• Asynchronous typed object groups for grid programming
• The formal specification of a problem solved by a parallel program - a relational model
• Concrete data structures and functional parallel programming
• scientific article; zbMATH DE number 4041239 (Why is no real title available?)
• Encapsulating non-determinacy in an abstract data type with determinate semantics
• scientific article; zbMATH DE number 653218 (Why is no real title available?)

This page was built for publication: Parallel programs implementing abstract data type operations

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