An algebra of synchronous atomic steps
From MaRDI portal
Publication:2281642
DOI10.1007/978-3-319-48989-6_22zbMath1427.68197arXiv1609.00118OpenAlexW2515255440MaRDI QIDQ2281642
Robert J. Colvin, Andrius Velykis, Kirsten Winter, Ian J. Hayes, Larissa A. Meinicke
Publication date: 3 January 2020
Full work available at URL: https://arxiv.org/abs/1609.00118
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) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (6)
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Contextuality in distributed systems ⋮ A fine-grained semantics for arrays and pointers under weak memory models ⋮ Unifying theories of reactive design contracts ⋮ Encoding fairness in a synchronous concurrent program algebra ⋮ A wide-spectrum language for verification of programs on weak memory models
Uses Software
This page was built for publication: An algebra of synchronous atomic steps
