Concurrent Refinement Algebra and Rely Quotients

MaRDI QIDQ7361024FDO

Authors Julian Fell, Ian J. Hayes, Andrius Velykis

Publication date 30 December 2016

Cites work

• An algebra of synchronous atomic steps
• Designing a semantic model for a wide-spectrum language with concurrency
• Generalised rely-guarantee concurrency: an algebraic foundation
• Unnamed Publication
• Tentative steps toward a development method for interfering programs

This page was built for software: Concurrent Refinement Algebra and Rely Quotients