Last update: Thu Sep 27 02:46:57 MDT 2018
@Article{Stirling:1988:GOG,
author = "Colin Stirling",
title = "A generalization of {Owicki-Gries}'s {Hoare} logic for
a concurrent while language",
journal = j-THEOR-COMP-SCI,
volume = "58",
number = "1-3",
pages = "347--359",
month = jun,
year = "1988",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Sat Nov 22 13:29:49 MST 1997",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/tcs1985.bib",
acknowledgement = ack-nhfb,
affiliation = "Univ of Edinburgh",
affiliationaddress = "Edinburgh, Scotl",
classification = "723; C4210 (Formal logic)",
conference = "Thirteenth International Colloquium on Automata,
Languages and Programming",
conflocation = "Rennes, France; 15-19 July 1986",
conftitle = "Thirteenth International Colloquium on Automata,
Languages and Programming",
corpsource = "Dept. of Comput. Sci., Edinburgh Univ., UK",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
journalabr = "Theor Comput Sci",
keywords = "Computer Programming Languages; Computer Systems,
Digital--Parallel Processing; Concurrent While
Language; concurrent while language; first-order
formulas; formal languages; formal logic; Hoare
asserted programs; Hoare Logic; Hoare logic;
Operational Semantics; operational semantics; potential
computations; sets of invariants; syntax-directed
generalization; Theory",
meetingaddress = "Rennes, Fr",
meetingdate = "Jul 1986",
meetingdate2 = "07/86",
pubcountry = "Netherlands",
sponsororg = "Eur. Assoc. Theor. Comput. Sci",
treatment = "T Theoretical or Mathematical",
}