Encoding fairness in a synchronous concurrent program algebra

DOI10.1007/978-3-319-95582-7_13zbMath1460.68028arXiv1805.01681OpenAlexW2809469697MaRDI QIDQ2024348

Ian J. Hayes, Larissa A. Meinicke

Publication date: 4 May 2021

Full work available at URL: https://arxiv.org/abs/1805.01681

Mathematics Subject Classification ID

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)

Related Items (1)

Encoding fairness in a synchronous concurrent program algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalised rely-guarantee concurrency: an algebraic foundation
• Fixed-point calculus
• Calculi for synchrony and asynchrony
• Designing a semantic model for a wide-spectrum language with concurrency
• Encoding fairness in a synchronous concurrent program algebra
• An algebra of synchronous atomic steps
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Tentative steps toward a development method for interfering programs

This page was built for publication: Encoding fairness in a synchronous concurrent program algebra