Incremental Proof of the Producer/Consumer Property for the PCI Protocol

DOI10.1007/3-540-45648-1_2zbMath1044.68671OpenAlexW1790183476MaRDI QIDQ4472174

Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen

Publication date: 3 August 2004

Published in: ZB 2002:Formal Specification and Development in Z and B (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45648-1_2

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Related Items (2)

Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm ⋮ On a problem of an elastic quarter plane

Uses Software

• HOL/SPIN

This page was built for publication: Incremental Proof of the Producer/Consumer Property for the PCI Protocol