Unifying theories of parallel programming

DOI10.1007/3-540-36103-0_5MaRDI QIDQ4412473zbMATH OpenFDO

Authors Arthur Hughes, Jim Woodcock

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950024.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• UTCP: Compositional Semantics for Shared-Variable Concurrency
• A refinement calculus for shared-variable parallel and distributed programming
• Towards a unified development methodology for shared-variable parallel and distributed programs
• scientific article; zbMATH DE number 756078
• A Theory of Pointers for the UTP

Cited in

(11)

• A refinement calculus for shared-variable parallel and distributed programming
• UTP semantics of reactive processes with continuations
• UTPCalc -- a calculator for UTP predicates
• scientific article; zbMATH DE number 4070282 (Why is no real title available?)
• Towards a unified development methodology for shared-variable parallel and distributed programs
• Unifying theories for parallel programming
• scientific article; zbMATH DE number 756078 (Why is no real title available?)
• scientific article; zbMATH DE number 4117855 (Why is no real title available?)
• Unifying Semantics for Concurrent Programming
• Semantics of dynamic hiding in mobile UTP-CSP
• A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming

This page was built for publication: Unifying theories of parallel programming

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