In praise of algebra
type: Item
instance of: scholarly article
title: In praise of algebra
zbMATH Open document ID: 1259.68030
author: Stephan van Staden
author: Tony Hoare
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6148331
zbMATH Keywords: algebra
zbMATH Keywords: refinement
zbMATH Keywords: concurrency
describes a project that uses: Isabelle/HOL
describes a project that uses: Sledgehammer
MaRDI profile type: Publication
full work available at URL: s00165-012-0249-0
OpenAlex ID: W2070249810
cites work: Q3898009
cites work: Proving total correctness of nondeterministic programs in infinitary logic
cites work: Sledgehammer: Judgement Day
cites work: Q4144755
cites work: Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
cites work: Laws of programming
cites work: On Locality and the Exchange Law for Concurrent Processes
cites work: Concurrent Kleene Algebra
cites work: Concurrent Kleene algebra and its foundations
cites work: An axiomatic basis for computer programming
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: A calculus of communicating systems
cites work: The specification statement
cites work: Q4301161
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: CONCUR 2004 - Concurrency Theory
cites work: Graphical models of separation logic
DOI: 10.1007/S00165-012-0249-0
description: scientific article; zbMATH DE number 6148331