BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
owicki (3)
ligo (1)
simul (1)
reformul (1)
data (1)

Stem gri$ (all stems)

5 papers:

ICALPICALP-v2-2015-LahavV #memory management #modelling #reasoning
Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
HPDCHPDC-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–?.
FASEFASE-1999-NipkowN #higher-order
Owicki/Gries in Isabelle/HOL (TN, LPN), pp. 188–203.
ASEKBSE-1992-Terwilliger #design #process #simulation
Simulating the Gries/Dijkstra Design Process (RBT), p. 22.
ICALPICALP-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.