The inner and outer algebras of unified concurrency

DOI10.1007/978-3-030-31038-7_8OpenAlexW2973920151MaRDI QIDQ2296291

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)

Related Items (3)

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

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)