Algebra Unifies Operational Calculi

DOI10.1007/978-3-642-35705-3_4zbMath1452.68056OpenAlexW1524477030MaRDI QIDQ3455645

Stephan van Staden, C. A. R. Hoare

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35705-3_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Constructing the Views Framework ⋮ Generic Models of the Laws of Programming

Cites Work

• Unnamed Item
• Graphical models of separation logic
• The chemical abstract machine
• The revised report on the syntactic theories of sequential control and state
• A completeness theorem for Kleene algebras and the algebra of regular events
• The origins of structural operational semantics
• Concurrent Kleene Algebra
• Laws of programming

This page was built for publication: Algebra Unifies Operational Calculi