Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/focs/FrancezLP80
%A Francez, Nissim
%A Lehmann, Daniel
%A Pnueli, Amir
%B FOCS
%D 1980
%I IEEE Computer Society
%K dblp
%P 143-151
%T A Linear History Semantics for Distributed Languages (Extended Abstract)
%U http://dblp.uni-trier.de/db/conf/focs/focs80.html#FrancezLP80
@inproceedings{conf/focs/FrancezLP80,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Francez, Nissim and Lehmann, Daniel and Pnueli, Amir},
biburl = {https://www.bibsonomy.org/bibtex/2b02e01ab3bb5c38346dca835af31a787/dblp},
booktitle = {FOCS},
crossref = {conf/focs/FOCS21},
ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1980.5},
interhash = {618a50f4994ae5d40577de94f1578f55},
intrahash = {b02e01ab3bb5c38346dca835af31a787},
keywords = {dblp},
pages = {143-151},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T10:20:20.000+0200},
title = {A Linear History Semantics for Distributed Languages (Extended Abstract)},
url = {http://dblp.uni-trier.de/db/conf/focs/focs80.html#FrancezLP80},
year = 1980
}