5 papers:
ICALP-v2-2015-LahavV #memory management #modelling #reasoning- Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
HPDC-2002-DeelmanKMMPBELWK #grid- GriPhyN and LIGO, Building a Virtual Data Grid for Gravitational Wave Scientists (ED, CK, GM, LM, LP, KB, PE, AL, RW, SK), p. 225–?.
FASE-1999-NipkowN #higher-order- Owicki/Gries in Isabelle/HOL (TN, LPN), pp. 188–203.
KBSE-1992-Terwilliger #design #process #simulation- Simulating the Gries/Dijkstra Design Process (RBT), p. 22.
- ICALP-1986-Stirling #composition #concurrent #correctness #logic
- A Compositional Reformulation of Owicki-Gries’s Partial Correctness Logic for a Concurrent While Language (CS), pp. 407–415.
