The inner and outer algebras of unified concurrency

DOI10.1007/978-3-030-31038-7_8MaRDI QIDQ2296291zbMATH OpenOpenAlexFDO

Authors Andrew Butterfield

Publication date 18 February 2020

Full work available at URL http://hdl.handle.net/2262/91358

zbMATH Keywords

Concurrent Kleene Algebrasinner algebrasouter algebrasshared-variable concurrencyUnifying Theories of Programming

Mathematics Subject Classification ID

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

Recommendations

• Algebra unifies operational calculi
• Concurrent Kleene algebra and its foundations
• UTCP: Compositional Semantics for Shared-Variable Concurrency
• Algebraic laws for nondeterminism and concurrency
• Concurrent Kleene Algebra

Cited in

(3)

• Iris: monoids and invariants as an orthogonal basis for concurrent reasoning
• Algebraic laws for nondeterminism and concurrency
• Convolution as a Unifying Concept

This page was built for publication: The inner and outer algebras of unified concurrency

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