A Linear-History Semantics for Languages for Distributed Programming

Nissim Francez, Daniel J. Lehmann, Amir Pnueli. A Linear-History Semantics for Languages for Distributed Programming. Theoretical Computer Science, 32:25-46, 1984.

Possibly Related Publications

The following publications are possibly variants of this publication: