Unifying Semantics for Concurrent Programming

DOI10.1007/978-3-642-38164-5_10MaRDI QIDQ4922078zbMATH OpenOpenAlexFDO

Authors Tony Hoare

Publication date 28 May 2013

Published in Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38164-5_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3932376
• scientific article; zbMATH DE number 3970098
• scientific article; zbMATH DE number 125888
• scientific article; zbMATH DE number 1424057
• On implementations and semantics of a concurrent programming language
• scientific article; zbMATH DE number 1759984
• A systematic approach to language constructs for concurrent programs
• Programming Languages and Systems
• scientific article; zbMATH DE number 1949583

Cites work

• A calculus of communicating systems
• An axiomatic basis for computer programming
• CONCUR 2004 - Concurrency Theory
• Concurrent Kleene algebra and its foundations
• Graphical models of separation logic
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• Laws of programming
• On locality and the exchange law for concurrent processes
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Refinement Calculus
• The laws of programming unify process calculi
• Unifying theories for logic programming

Cited in

(14)

• Metric semantics for concurrency
• A UTP approach for rTiMo
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Generic models of the laws of programming
• The laws of programming unify process calculi
• Algebra unifies operational calculi
• scientific article; zbMATH DE number 3978364 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 4074455 (Why is no real title available?)
• scientific article; zbMATH DE number 1023018 (Why is no real title available?)
• Unifying Concurrent Objects and Distributed Tasks
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• UTCP: Compositional Semantics for Shared-Variable Concurrency
• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)

This page was built for publication: Unifying Semantics for Concurrent Programming

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