Author of the publication

Owicki/Gries in Isabelle/HOL.

, and . FASE, volume 1577 of Lecture Notes in Computer Science, page 188-203. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Rely-Guarantee Method in Isabelle/HOL.. ESOP, volume 2618 of Lecture Notes in Computer Science, page 348-362. Springer, (2003)Secure information flow for a concurrent language with scheduling., and . J. Comput. Secur., 15 (6): 647-689 (2007)Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL., and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 619-628. Springer, (2000)Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools., , and . AVoCS, volume 145 of Electronic Notes in Theoretical Computer Science, page 63-78. Elsevier, (2005)Formally verifying information flow type systems for concurrent and thread systems., and . FMSE, page 13-22. ACM, (2004)Completeness of the Owicki-Gries System for Parameterized Parallel Programs.. IPDPS, page 150. IEEE Computer Society, (2001)