Using the causal domain to specify and verify distributed programs

DOI10.1007/s002360050102zbMath0878.68085OpenAlexW1968857745MaRDI QIDQ678251

Alexander I. Tomlinson, Vijay K. Garg

Publication date: 11 September 1997

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050102

zbMATH Keywords

program specificationcausalitypartial ordermutual exclusionprogram proofdirect dependency clocksvector clocks

Mathematics Subject Classification ID

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

This page was built for publication: Using the causal domain to specify and verify distributed programs