P — A logic — a compositional proof system for distributed programs

P. Pandya,M. Joseph
DOI: https://doi.org/10.1007/BF02311231
1991-06-01
Distributed Computing
Abstract:
What problem does this paper attempt to address?