Algebras for Program Correctness in Isabelle/HOL-Reference-Cited by-同舟云学术

Algebras for Program Correctness in Isabelle/HOL

Published:2014 Issue: Volume: Page:49-64
ISSN:0302-9743
Container-title:Relational and Algebraic Methods in Computer Science
language:
Short-container-title:

Author:

Armstrong Alasdair,Gomes Victor B. F.,Struth Georg

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-06251-8_4

Reference23 articles.

1. Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Technical Report TR2001-1844, Computer Science Department, Cornell University (July 2001)

2. Armstrong, A., Gomes, V.B.F., Struth, G.: Algebraic principles for rely-guarantee style concurrency verification tools. CoRR, abs/1312.1225 (2013)

3. Armstrong, A., Gomes, V.B.F., Struth, G.: Kleene algebras with tests and demonic refinement algebras. Archive of Formal Proofs (2014)

4. Armstrong, A., Struth, G., Weber, T.: Kleene algebra. Archive of Formal Proofs (2013)

5. Lecture Notes in Computer Science;A. Armstrong,2013

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs;Automated Deduction – CADE 29;2023

2. Specifying and Reasoning About Shared-Variable Concurrency;Theories of Programming and Formal Methods;2023

3. Trimming the Hedges: An Algebra to Tame Concurrency;Theories of Programming;2021-10-02

4. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency;Formal Aspects of Computing;2019-04

5. Developments in concurrent Kleene algebra;Journal of Logical and Algebraic Methods in Programming;2016-06