@article{FMMR10-CSUR10, author = {Carlo A. Furia and Dino Mandrioli and Angelo Morzenti and Matteo Rossi}, title = {Modeling Time in Computing: a taxonomy and a comparative survey}, journal = {ACM Computing Surveys}, volume = {42}, number = {2}, year = {2010}, pages = {1--59}, publisher = {ACM}, month = {February}, note = {Article 6. Also available as http://arxiv.org/abs/0807.4132}, urltopdf = {/people/furia/pubs/csur10-survey.pdf}, acm = {http://portal.acm.org/citation.cfm?doid=1667062.1667063} }