Generic Models of the Laws of Programming

DOI10.1007/978-3-642-39698-4_13zbMath1390.68182OpenAlexW2153693303MaRDI QIDQ2842638

C. A. R. Hoare

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A calculus and logic of bunched resources and processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent Kleene algebra and its foundations
• Graphical models of separation logic
• A calculus of communicating systems
• The Laws of Programming Unify Process Calculi
• On Locality and the Exchange Law for Concurrent Processes
• Algebra Unifies Operational Calculi
• A Theory of Communicating Sequential Processes
• Laws of programming
• Refinement Calculus
• Unifying Semantics for Concurrent Programming
• CONCUR 2004 - Concurrency Theory
• An axiomatic basis for computer programming

This page was built for publication: Generic Models of the Laws of Programming