Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Barringer:1987:TW, author = "H. Barringer", title = "Up and Down the Temporal Way", journal = j-COMP-J, volume = "30", number = "2", pages = "134--148", month = apr, year = "1987", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/30.2.134", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:22 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/30/2.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/", URL = "http://comjnl.oxfordjournals.org/content/30/2/134.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/134.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/135.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/136.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/137.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/138.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/139.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/140.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/141.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/142.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/143.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/144.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/145.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/146.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/147.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_02/tiff/148.tif", acknowledgement = ack-nhfb, affiliation = "Univ of Manchester, Manchester, Engl", affiliationaddress = "Univ of Manchester, Manchester, Engl", classcodes = "C3360H (Lift and aerial cableway systems); C4210 (Formal logic)", classification = "723", corpsource = "Dept. of Comput. Sci., Manchester Univ., UK", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "computer metatheory; computer systems, digital --- Distributed; formal logic; formal specification; lift-control system; lifts; multiple-lift system; techniques; temporal; temporal techniques", treatment = "P Practical; T Theoretical or Mathematical", }