Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Barringer:1986:PSA, author = "H. Barringer and I. Mearns", title = "A proof system for {Ada} tasks", journal = j-COMP-J, volume = "29", number = "5", pages = "404--415", month = oct, year = "1986", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/29.5.404", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:21 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/29/5.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/", URL = "http://comjnl.oxfordjournals.org/content/29/5/404.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/404.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/405.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/406.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/407.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/408.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/409.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/410.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/411.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/412.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/413.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/414.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/415.tif", acknowledgement = ack-nhfb, affiliation = "Univ of Manchester, Manchester, Engl", affiliationaddress = "Univ of Manchester, Manchester, Engl", classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages); C6150J (Operating systems)", classification = "723", corpsource = "Dept. of Comput. Sci., Manchester Univ., UK", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "Ada; Ada tasks; axiomatic proof system; computer metatheory; computer programming languages; concurrent Ada programs; deadlock; deadlock freedom; denotational semantics; multiprocessing programs; programming theory; proof system; recovery; safety properties; system; tasking constructs", treatment = "B Bibliography; T Theoretical or Mathematical", }