Now You May Compose Temporal Logic Specifications

@inproceedings{Barringer1984NowYM,
  title={Now You May Compose Temporal Logic Specifications},
  author={Howard Barringer and Ruurd Kuiper and Amir Pnueli},
  booktitle={STOC},
  year={1984}
}
A compositional temporal logic proof system for the specification and verification of concurrent programs is presented. Versions of the system are developed for shared variables and communication based programming languages that include procedures.