Incremental Proof of the Producer/Consumer Property for the PCI Protocol. - Dominique Cansell; Ganesh Gopalakrishnan; Michael D. Jones; Dominique Méry; Airy Weinzoepflen (ZB, 2002)