Hayes, R.Colvin, L.Meinicke, K.Winter, and A.Velykis. An algebra of synchronous atomic steps, November 2016. Generalised rely-guarantee concurrency: An algebraic foundation. Concurrent refinement algebra and rely quotients.
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency, 2017. In Bor-YuhEvan Chang, editor, Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, pages 67-84, Cham, 2017. Capabilities for Java: Secure access to resources. Designing a semantic model for a wide-spectrum language with concurrency. Partial semigroups and convolution algebras.
Phil cook pump software#
Bowen, Z.Liu, and Z.Zhang, editors, Engineering Trustworthy Software Systems, volume 11174 of Lecture Notes in Computer Science, pages 1-38, Cham, 2018. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs, May 2018. In Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik deVink, editors, Formal Methods, Lecture Notes in Computer Science, pages 222-239, Cham, July 2018. Encoding fairness in a synchronous concurrent program algebra. Open Publishing Association, October 2018.
In John Derrick, Brijesh Dongol, and Steve Reeves, editors, Proceedings 18th Refinement Workshop, Oxford, UK, 18th July 2018, volume 282 of Electronic Proceedings in Theoretical Computer Science, pages 10-22. Some challenges of specifying concurrent program components. In Jing Sun and Meng Sun, editors, Formal Methods and Software Engineering (ICFEM), volume 11232 of Lecture Notes in Computer Science, pages 3-18, Cham, November 2018.
Engineering a theory of concurrent programming. In Jing Sun and Meng Sun, editors, Formal Methods and Software Engineering (ICFEM), volume 11232 of Lecture Notes in Computer Science, pages 215-230, Cham, November 2018. Type capabilities for object-oriented programmng languages. In G.Hutton, editor, Mathematics of Program Construction 2019, volume 11825 of Lecture Notes in Computer Science, pages 197-225, Cham, 2019. Cylindric Kleene lattices for program construction. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. In Pedro Ribeiro and Augusto Sampaio, editors, Unifying Theories of Programming 2019, volume 11885 of Lecture Notes in Computer Science, pages 176-197, Cham, October 2019. Developing an algebra for rely/guarantee concurrency: design decisions and challenges. Deriving specifications of control programs for cyber physical systems. Jones and Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare, page 251–270, New York, NY, USA, 2021. Deriving laws for developing concurrent programs in a rely-guarantee style, 2021. Convolution algebras: Relational convolution, generalised modalities and incidence algebras.
Phil cook pump verification#
In Zhe Hou and Vijay Ganesh, editors, Automated Technology for Verification and Analysis, volume 12971 of Lecture Notes in Computer Science, pages 111-126, Cham, October 2021. A formal semantics of the GraalVM intermediate representation.
0 kommentar(er)
