A Linear-History Semantics for Languages for Distributed Programming

@article{Francez1984ALS,
  title={A Linear-History Semantics for Languages for Distributed Programming},
  author={Nissim Francez and Daniel J. Lehmann and Amir Pnueli},
  journal={Theor. Comput. Sci.},
  year={1984},
  volume={32},
  pages={25-46}
}