Corrigenda:Cooperating proofs for distributed programs with multiparty interactions

DOI10.1016/0020-0190(90)90057-5zbMath0800.68551OpenAlexW4251762478MaRDI QIDQ1813353

Nissim Francez

Publication date: 25 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90057-5

zbMATH Keywords

distributed programscooperation proofsmultiparty interactions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• A proof system for concurrent ADA programs
• Script: A communication abstraction mechanism and its verification
• A proof technique for communicating sequential processes
• The multiway rendezvous
• A Proof System for Communicating Sequential Processes
• Verifying properties of parallel programs
• Communicating sequential processes
• Distributed processes
• A Methodology for Developing Distributed Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Corrigenda:Cooperating proofs for distributed programs with multiparty interactions