{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:34Z","timestamp":1761610414509,"version":"build-2065373602"},"reference-count":22,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6053,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1997]]},"DOI":"10.1016\/s1571-0661(05)80468-2","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"76-95","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Absolute versus Relative Time in Process Algebras"],"prefix":"10.1016","volume":"7","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80468-2_BIB1","doi-asserted-by":"crossref","unstructured":"L. Aceto, D.Murphy: On the Ill-Timed but Well-Caused. In the Proceedings of CONCUR'93 (E.Best, Ed.), Springer-Verlag LNCS 715, pp.97-111, 1993.","DOI":"10.1007\/3-540-57208-2_8"},{"issue":"4","key":"10.1016\/S1571-0661(05)80468-2_BIB2","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s002360050047","article-title":"Timing and Causality in Process Algebra","volume":"33","author":"Aceto","year":"1996","journal-title":"Acta Informatica"},{"issue":"2","key":"10.1016\/S1571-0661(05)80468-2_BIB3","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","article-title":"Real Time Process Algebra","volume":"3","author":"Baeten","year":"1991","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB4","article-title":"Process Theory based on Bisimulation Semantics","volume":"354","author":"Bergstra","year":"1989","journal-title":"In Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, LNCS"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, V. Natarajan: An algebraic theory of process efficiency. In the Proceedings of LICS'96, pp.63-72, 1996.","DOI":"10.1109\/LICS.1996.561304"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB6","doi-asserted-by":"crossref","unstructured":"F. Corradini, M. Pistore: Specification and Verification of Timed Lazy Systems. In the Proceedings of MFCS'96, Springer-Verlag LNCS 1113, pp.279-290, 1996.","DOI":"10.1007\/3-540-61550-4_155"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB7","series-title":"In ACM Transaction on Programming Languages and Systems 15","article-title":"The concurrency workbench: A semantics-based tool for the verification of concurrent systems","author":"Cleaveland","year":"1993"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB8","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, A. Zwarico: A theory of testing for real-time. In the Proceedings of LICS'96, pp.110-119, 1991.","DOI":"10.1109\/LICS.1991.151635"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB9","doi-asserted-by":"crossref","unstructured":"G-L. Ferrari, U. Montanari: Dynamic matrices and the cost analysis of concurrent programs. In Proceedings of AMAST'95, LNCS 936, pp.307-321, 1995.","DOI":"10.1007\/3-540-60043-4_61"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB10","series-title":"In Information Processing '89","first-page":"613","article-title":"Branching time and abstraction in bisimulation semantics","author":"van Glabbeek","year":"1989"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB11","doi-asserted-by":"crossref","unstructured":"R. Gorrieri, M. Roccetti: Towards Performance Evaluation in Process Algebras. In the Proceedings of AMAST'93, Workshop in Computing Series, Springer-Verlag, pp.289-296, 1993.","DOI":"10.1007\/978-1-4471-3227-1_30"},{"issue":"1","key":"10.1016\/S1571-0661(05)80468-2_BIB12","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(94)00205-W","article-title":"A Theory of Processes with Durational Actions","volume":"140","author":"Gorrieri","year":"1995","journal-title":"Theoretical Computer Science"},{"year":"1989","series-title":"Communicating Sequential Processes","author":"Hoare","key":"10.1016\/S1571-0661(05)80468-2_BIB13"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB14","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","article-title":"A temporal process algebras","volume":"117","author":"Hennessy","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB15","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF01191894","article-title":"An Efficiency Preorder for Processes","volume":"29","author":"Arun-Kumar","year":"1992","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB16","series-title":"International series on computer science, Prentice Hall International","article-title":"Communication and concurrency","author":"Milner","year":"1989"},{"issue":"1","key":"10.1016\/S1571-0661(05)80468-2_BIB17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A Calculus of Mobile Processes (I and II)","volume":"100","author":"Milner","year":"1992","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB18","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts: A Temporal Calculus of Communicating Systems. In the Proceedings of CONCUR'90, LNCS 459, Springer-Verlag, pp.401-415, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB19","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts: Relating Processes with Respect to Speed. In the Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, pp.424-438, 1991.","DOI":"10.1007\/3-540-54430-5_104"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB20","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","article-title":"A timed model for communicating sequential processes","volume":"58","author":"Reed","year":"1988","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.1016\/S1571-0661(05)80468-2_BIB21","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/inco.1995.1130","article-title":"Timed Testing of Concurrent Systems","volume":"121","author":"Vogler","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80468-2_BIB22","unstructured":"W. Yi: Real time behaviour of asynchronous agents. In the Proceedings of CONCUR'90, LNCS 458, Springer-Verlag, pp.502-520, 1990."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804682?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804682?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:35Z","timestamp":1761609995000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105804682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":22,"alternative-id":["S1571066105804682"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80468-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Absolute versus Relative Time in Process Algebras","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80468-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}