Algebra unifies operational calculi

DOI10.1007/978-3-642-35705-3_4MaRDI QIDQ3455645zbMATH OpenOpenAlexFDO

Authors Stephan van Staden, Tony 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The laws of programming unify process calculi
• Unifying Semantics for Concurrent Programming
• Algebraic laws for nondeterminism and concurrency
• In praise of algebra
• scientific article; zbMATH DE number 1390330

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• Concurrent Kleene Algebra
• Graphical models of separation logic
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Laws of programming
• The chemical abstract machine
• The origins of structural operational semantics
• The revised report on the syntactic theories of sequential control and state

Cited in

(16)

• Algebraic properties of program integration
• From algebra to operational semantics
• Computation calculus bridging a formalization gap
• In praise of algebra
• A calculus of space, time, and causality: its algebra, geometry, logic
• The inner and outer algebras of unified concurrency
• Declarative programming with algebra
• Constructing the views framework
• Generic models of the laws of programming
• The laws of programming unify process calculi
• Unifying operational semantics with algebraic semantics for instantaneous reactions
• scientific article; zbMATH DE number 3986622 (Why is no real title available?)
• scientific article; zbMATH DE number 1210363 (Why is no real title available?)
• scientific article; zbMATH DE number 2087343 (Why is no real title available?)
• Unified algebras and action semantics
• Denotational semantics and its algebraic derivation for an event-driven system-level language

This page was built for publication: Algebra unifies operational calculi

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