Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Mancini:1989:PCP,
author = "L. V. Mancini and G. P. Pappalardo",
title = "Proving correctness properties of a replicated
synchronous program",
journal = j-COMP-J,
volume = "32",
number = "5",
pages = "437--444",
month = oct,
year = "1989",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/32.5.437",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
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/437.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/437.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/438.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/439.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/440.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/441.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/442.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/443.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/444.tif",
acknowledgement = ack-nhfb,
affiliation = "Dipartimento di Inf., Pisa Univ., Italy",
classcodes = "C4240 (Programming and algorithm theory); C5620
(Computer networks and techniques); C5470 (Performance
evaluation and testing)",
classification = "C4240 (Programming and algorithm theory); C5470
(Performance evaluation and testing); C5620 (Computer
networks and techniques)",
corpsource = "Dipartimento di Inf., Pisa Univ., Italy",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "agreement protocol; Agreement protocol; axiomatic
approach; Axiomatic approach; correctness properties;
Correctness properties; distributed computing;
Distributed computing; distributed processing; fault
tolerant computing; fault-tolerance technique;
Fault-tolerance technique; faulty processors; Faulty
processors; N-modular; N-modular redundancy;
programming theory; redundancy; replicated synchronous
program; Replicated synchronous program; theorem
proving",
thesaurus = "Distributed processing; Fault tolerant computing;
Programming theory; Theorem proving",
}