The Arrow of Time through the Lens of Computing

Krishna V. Palem. The Arrow of Time through the Lens of Computing. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 362-369, Springer, 2010. [doi]

@inproceedings{Palem10,
  title = {The Arrow of Time through the Lens of Computing},
  author = {Krishna V. Palem},
  year = {2010},
  doi = {10.1007/978-3-642-13754-9_14},
  url = {http://dx.doi.org/10.1007/978-3-642-13754-9_14},
  researchr = {https://researchr.org/publication/Palem10},
  cites = {0},
  citedby = {0},
  pages = {362-369},
  booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
  editor = {Zohar Manna and Doron Peled},
  volume = {6200},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13753-2},
}