{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:44:50Z","timestamp":1762458290803},"reference-count":41,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4521,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0304-3975(99)00342-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T20:01:16Z","timestamp":1027627276000},"page":"501-542","source":"Crossref","is-referenced-by-count":17,"title":["Metric semantics for true concurrent real time"],"prefix":"10.1016","volume":"254","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(99)00342-4_BIB1","first-page":"1","article-title":"Domain theory","volume":"vol. 3","author":"Abramsky","year":"1994"},{"key":"10.1016\/S0304-3975(99)00342-4_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 Inform."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/S0304-3975(99)00342-4_BIB4","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/49.481699","article-title":"Using timed CSP for specification verification and analysis of multi-media synchronization","volume":"14","author":"Ates","year":"1996","journal-title":"IEEE J. Selected Areas Comm."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB5","first-page":"568","article-title":"Metric semantics for true concurrent real time","volume":"vol. 1443","author":"Baier","year":"1998"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB6","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(94)00046-8","article-title":"Denotational semantics in the cpo and metric approach","volume":"135","author":"Baier","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF01178923","article-title":"The connection between an event structure semantics and an operational semantics for TCSP","volume":"31","author":"Baier","year":"1994","journal-title":"Acta Inform."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.3233\/FI-1997-29302","article-title":"How to interpret consistency and establish consistency results for semantics of concurrent programming languages","volume":"29","author":"Baier","year":"1997","journal-title":"Fund. Inform."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB9","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/s002360050104","article-title":"Metric semantics from partial order semantics","volume":"34","author":"Baier","year":"1997","journal-title":"Acta Inform."},{"issue":"1\/2","key":"10.1016\/S0304-3975(99)00342-4_BIB10","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","article-title":"Processes and the denotational semantics of concurrency","volume":"54","author":"de Bakker","year":"1982","journal-title":"Inform. and Control."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB11","series-title":"Control Flow Semantics","author":"de Bakker","year":"1996"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0166-8641(97)00140-5","article-title":"Denotational models for programming languages","volume":"85","author":"de Bakker","year":"1998","journal-title":"Topology Appl."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Comp. Network ISDN Systems"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB14","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1006\/inco.1994.1088","article-title":"Flow models of distributed computations","volume":"114","author":"Boudol","year":"1994","journal-title":"Inform and Comput."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB15","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/S0304-3975(96)00104-1","article-title":"Parallel product of event structures","volume":"179","author":"Castellani","year":"1997","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB16","unstructured":"E.T. Copson, Metric Spaces, Cambridge Tracts in Mathematics, vol. 57, Cambridge University Press, Cambridge, 1992."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB17","doi-asserted-by":"crossref","unstructured":"J. Davies, J.W. Bryans, S.A. Schneider, Real-time LOTOS and timed observations, in: Formal Description Techniques VIII, Chapman & Hall, London, 1995.","DOI":"10.1007\/978-0-387-34945-9_28"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB18","unstructured":"C.J. Fidge, A constraint-oriented real-time process calculus, in: Formal Description Techniques V, North-Holland, Amsterdam, 1993, pp. 363\u2013378."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB19","unstructured":"C.J. Fidge, J.J. Z\u0306ic, A simple, expressive real-time CCS, in: Proc. 2nd Australasian Conf. on Parallel & Real-Time Systems, 1995, pp. 365\u2013372."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB20","first-page":"173","article-title":"Durations for truly-concurrent transitions","volume":"vol. 1058","author":"Goubault","year":"1996"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB21","first-page":"393","article-title":"Layering of real-time distributed processes","volume":"vol. 863","author":"Janssen","year":"1994"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB22","unstructured":"J-P. Katoen, Quantitative and Qualitative Extensions of Event Structures, Ph.D. Thesis, University of Twente, 1996."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB23","first-page":"385","article-title":"On specifying real-time systems in a causality-based setting","volume":"vol. 1135","author":"Katoen","year":"1996"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB24","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1023\/A:1008649927166","article-title":"A consistent causality-based view on a timed process algebra including urgent interactions","volume":"12","author":"Katoen","year":"1998","journal-title":"Form. Methods Systems Design"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB25","doi-asserted-by":"crossref","unstructured":"A.S. Klusener, Models and axioms for a fragment of real-time process algebra, Ph.D. Thesis, Eindhoven University of Technology, 1993.","DOI":"10.1007\/BFb0031999"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB26","doi-asserted-by":"crossref","unstructured":"R. Langerak, Transformations and Semantics for LOTOS, Ph.D. Thesis, University of Twente, 1992.","DOI":"10.1016\/B978-0-444-89402-1.50028-X"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB27","unstructured":"R. Langerak, Bundle event structures: a non-interleaving semantics for LOTOS, in: Formal Description Techniques V, North-Holland, Amsterdam, 1993, pp. 331\u2013346."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB28","first-page":"317","article-title":"Causal ambiguity and partial orders in event structures","volume":"vol. 1243","author":"Langerak","year":"1997"},{"issue":"1","key":"10.1016\/S0304-3975(99)00342-4_BIB29","first-page":"39","article-title":"Modelling nondeterministic concurrent processes with event structures","volume":"14","author":"Loogen","year":"1991","journal-title":"Fund. Inform."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB30","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0304-3975(92)90018-B","article-title":"Towards an algebra for timed behaviours","volume":"103","author":"Maggiolo-Schettini","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB31","first-page":"285","article-title":"Basic notions of trace theory","volume":"vol. 354","author":"Mazurkiewicz","year":"1989"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB32","first-page":"403","article-title":"Time and duration in noninterleaving concurrency","volume":"19","author":"Murphy","year":"1993","journal-title":"Fund. Inform."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB33","first-page":"526","article-title":"An overview and synthesis on timed process algebras","volume":"vol. 600","author":"Nicollin","year":"1992"},{"issue":"1","key":"10.1016\/S0304-3975(99)00342-4_BIB34","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","article-title":"Petri nets, event structures and domains, Part 1","volume":"13","author":"Nielsen","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB35","unstructured":"M. Nivat. Infinite words, infinite trees, infinite computations, in: Foundations of Computer Science III, Mathematical Centre Tracts, vol. 109, 1979, pp. 3\u201352."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB36","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB37","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":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB38","first-page":"269","article-title":"Posets for configurations!","volume":"vol. 630","author":"Rensink","year":"1992"},{"key":"10.1016\/S0304-3975(99)00342-4_BIB39","unstructured":"F.W. Vaandrager, A simple definition for parallel composition of prime event structures, Report CS-R8903, Centre for Mathematics and Computer Science, 1989."},{"key":"10.1016\/S0304-3975(99)00342-4_BIB40","first-page":"561","article-title":"Event structure semantics for CCS and related languages","volume":"vol. 140","author":"Winskel","year":"1982"},{"issue":"6","key":"10.1016\/S0304-3975(99)00342-4_BIB41","doi-asserted-by":"crossref","first-page":"1661","DOI":"10.1145\/197320.197322","article-title":"Time-constrained buffer specifications in CSP+T and timed CSP","volume":"16","author":"Z\u0306ic","year":"1994","journal-title":"ACM Trans. Programming Languages System"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003424?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003424?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,12]],"date-time":"2023-04-12T23:18:18Z","timestamp":1681341498000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599003424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":41,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0304397599003424"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00342-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}