A Structural Proof of the Soundness of Rely/guarantee Rules
2007; Oxford University Press; Volume: 17; Issue: 4 Linguagem: Inglês
10.1093/logcom/exm030
ISSN1465-363X
AutoresJ. W. Coleman, Cliff B. Jones,
Tópico(s)Advanced Algebra and Logic
ResumoJournal Article A Structural Proof of the Soundness of Rely/guarantee Rules Get access Joey W. Coleman, Joey W. Coleman School of Computing Science, Newcastle University, NE1 7RU, UK. E-mail: j.w.coleman, cliff.jones@ncl.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Cliff B. Jones Cliff B. Jones School of Computing Science, Newcastle University, NE1 7RU, UK. E-mail: j.w.coleman, cliff.jones@ncl.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 17, Issue 4, August 2007, Pages 807–841, https://doi.org/10.1093/logcom/exm030 Published: 06 August 2007
Referência(s)