Nissim Francez, Daniel J. Lehmann, Amir Pnueli. A Linear-History Semantics for Languages for Distributed Programming. Theoretical Computer Science, 32:25-46, 1984.
@article{FrancezLP84,
title = {A Linear-History Semantics for Languages for Distributed Programming},
author = {Nissim Francez and Daniel J. Lehmann and Amir Pnueli},
year = {1984},
tags = {programming languages, semantics, programming, history},
researchr = {https://researchr.org/publication/FrancezLP84},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {32},
pages = {25-46},
}