A parametric rely-guarantee reasoning framework for concurrent reactive systems

DOI10.1007/978-3-030-30942-8_11zbMATH Open1539.68203MaRDI QIDQ6535947FDOQ6535947

Authors: Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 

Publication date: 14 March 2024

Recommendations

• scientific article; zbMATH DE number 1956564
• On rely-guarantee reasoning
• scientific article; zbMATH DE number 3938541
• Generalised rely-guarantee concurrency: an algebraic foundation
• Rely-guarantee reasoning for causally consistent shared memory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Reactive Systems
• Noninterference for operating system kernels
• Generalised rely-guarantee concurrency: an algebraic foundation
• Tentative steps toward a development method for interfering programs
• The Rely-Guarantee method for verifying shared variable concurrent programs
• Superposition refinement of reactive systems
• Refinement, decomposition, and instantiation of discrete models: application to Event-B
• Title not available (Why is that?)
• Towards a formal treatment of implicit invocation using rely/guarantee reasoning
• CSimpl: a rely-guarantee-based framework for verifying concurrent programs
• An algebra of synchronous atomic steps
• On rely-guarantee reasoning
• A rely-guarantee-based simulation for verifying concurrent program transformations
• Title not available (Why is that?)

This page was built for publication: A parametric rely-guarantee reasoning framework for concurrent reactive systems

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