@misc{indiciae820cf91d40b7,
  title = {Modeling Time in Computing: A Taxonomy and a Comparative Survey},
  author = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi},
  year = {2010},
  doi = {10.1145/1667062.1667063},
  url = {https://arxiv.org/abs/0807.4132},
  note = {Source identifier: 0807.4132}
}