%0 Report %1 lamport_clocks_reason %A Sorin, Daniel J. %A Plakal, Manoj %A Hill, Mark D. %A Condon, Anne E. %D 1998 %K imported %T Lamport Clocks: Reasoning About Shared Memory Correctness

@techreport{lamport_clocks_reason, added-at = {2013-08-31T20:54:19.000+0200}, author = {Sorin, Daniel J. and Plakal, Manoj and Hill, Mark D. and Condon, Anne E.}, biburl = {https://www.bibsonomy.org/bibtex/25fbdb649a52f814fd952fdbb57231d1c/freitass}, interhash = {97d90594aa30c9b74bef2daa25ae1a2f}, intrahash = {5fbdb649a52f814fd952fdbb57231d1c}, keywords = {imported}, timestamp = {2013-08-31T20:54:19.000+0200}, title = {{Lamport} Clocks: Reasoning About Shared Memory Correctness}, year = 1998 }