Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Shields:1989:ISS, author = "M. W. Shields", title = "Implicit system specification and the interface equation", journal = j-COMP-J, volume = "32", number = "5", pages = "399--412", month = oct, year = "1989", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/32.5.399", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", MRclass = "68Q10 (68Q60)", MRnumber = "90k:68045", bibdate = "Tue Dec 4 14:48:27 MST 2012", bibsource = "http://comjnl.oxfordjournals.org/content/32/5.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/", URL = "http://comjnl.oxfordjournals.org/content/32/5/399.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/399.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/400.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/401.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/402.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/403.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/404.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/405.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/406.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/407.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/408.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/409.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/410.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/411.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/412.tif", acknowledgement = ack-nhfb, affiliation = "Electron. Eng. Lab., Kent Univ., Canterbury, UK", classcodes = "C4210 (Formal logic); C6110B (Software engineering techniques)", classification = "C4210 (Formal logic); C6110B (Software engineering techniques)", corpsource = "Electron. Eng. Lab., Kent Univ., Canterbury, UK", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "Calculus of communicating systems; calculus of communicating systems; CCS; Context equation; context equation; formal logic; formal specification; Implicit specifications; implicit specifications; Interface equation; interface equation; Systems design; systems design", thesaurus = "Formal logic; Formal specification", treatment = "P Practical", }