{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:44:44Z","timestamp":1762458284825,"version":"build-2065373602"},"reference-count":24,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4460,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["The Journal of Logic and Algebraic Programming"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s1567-8326(01)00004-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:28:14Z","timestamp":1027582094000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["Real time process algebra with time-dependent conditions"],"prefix":"10.1016","volume":"48","author":[{"given":"J.C.M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"C.A.","family":"Middelburg","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1567-8326(01)00004-2_BIBBK84A","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Information and Control"},{"year":"1990","series-title":"Process Algebra, Cambridge Tracts in Theoretical Computer Science, vol. 18","author":"Baeten","key":"10.1016\/S1567-8326(01)00004-2_BIBBW90"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBBV95A","unstructured":"J.C.M. Baeten, C. Verhoef, Concrete process algebra, in: S. Abramsky, D. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, vol. IV, Oxford University Press, 1995, pp. 149\u2013268"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBMIL80","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol. 92, Springer, Berlin, 1980","DOI":"10.1007\/3-540-10235-3"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/S1567-8326(01)00004-2_BIBMIL89"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBBHR84","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"31","author":"Brookes","year":"1984","journal-title":"Journal of the ACM"},{"year":"1985","series-title":"Communicating Sequential Processes","author":"Hoare","key":"10.1016\/S1567-8326(01)00004-2_BIBHOA85"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBBM99A","series-title":"Handbook of Process Algebra","article-title":"Process algebra with timing: Real time and discrete time","author":"Baeten","year":"2001"},{"issue":"2","key":"10.1016\/S1567-8326(01)00004-2_BIBBB91A","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"},{"issue":"6","key":"10.1016\/S1567-8326(01)00004-2_BIBBB93A","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF01211247","article-title":"Real space process algebra","volume":"5","author":"Baeten","year":"1993","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBNS94","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/inco.1994.1083","article-title":"The algebra of timed processes ATP: Theory and application","volume":"114","author":"Nicollin","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBCHE92A","doi-asserted-by":"crossref","unstructured":"L. Chen, An interleaving model for real-time systems, in: A. Nerode, M. Taitslin (Eds.), Symposium on Logical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 620, Springer, Berlin, 1992, pp. 81\u201392","DOI":"10.1007\/BFb0023865"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBMT90","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts, A temporal calculus of communicating systems, in: J.C.M. Baeten, J.W. Klop (Eds.), CONCUR'90, Lecture Notes in Computer Science, vol. 458, Springer, Berlin, 1990, pp. 401\u2013415","DOI":"10.1007\/BFb0039073"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBWAN90","doi-asserted-by":"crossref","unstructured":"Wang Yi, Real-time behaviour of asynchronous agents, in: J.C.M. Baeten, J.W. Klop (Eds.), CONCUR'90, Lecture Notes in Computer Science, vol. 458, Springer, Berlin, 1990, pp. 502\u2013520","DOI":"10.1007\/BFb0039080"},{"issue":"2","key":"10.1016\/S1567-8326(01)00004-2_BIBBB95A","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01214556","article-title":"Discrete time process algebra","volume":"8","author":"Baeten","year":"1996","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBPLO81","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, University of Aarhus, Department of Computer Science, 1981"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBKLU91A","doi-asserted-by":"crossref","unstructured":"A.S. Klusener, Completeness in real-time process algebra, in: J.C.M. Baeten, J.F. Groote (Eds.), CONCUR'91, Lecture Notes in Computer Science, vol. 527, Springer, Berlin, 1991, pp. 376\u2013392","DOI":"10.1007\/3-540-54430-5_101"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBHIL95A","doi-asserted-by":"crossref","unstructured":"J.A. Hillebrand, The ABP and CABP \u2013 a comparison of performances in real time process algebra, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes 1994, Workshop in Computing Series, Springer, Berlin, 1995, pp. 124\u2013147","DOI":"10.1007\/978-1-4471-2120-6_6"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBVER95A","unstructured":"J.J. Vereijken, Fischer's protocol in timed process algebra, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes 1995, Report 95-14, Eindhoven University of Technology, Department of Computing Science, 1995, pp. 245\u2013284"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBFV98A","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1006\/inco.1998.2729","article-title":"A conservative look at operational semantics with variable binding","volume":"146","author":"Fokkink","year":"1998","journal-title":"Information and Computation"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBMID00A","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/S1567-8326(00)00003-5","article-title":"Variable binding operators in transition system specifications","volume":"47","author":"Middelburg","year":"2001","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBGW98B","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0167-6423(00)00010-1","article-title":"Analysis of three hybrid systems in timed \u03bcCRL","volume":"39","author":"Groote","year":"2001","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1567-8326(01)00004-2_BIBAHH96A","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","article-title":"Automatic symbolic verification of embedded systems","volume":"22","author":"Alur","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1\/2","key":"10.1016\/S1567-8326(01)00004-2_BIBBB97A","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FI-1997-291203","article-title":"Discrete time process algebra: Absolute time relative time and parametric time","volume":"29","author":"Baeten","year":"1997","journal-title":"Fundamenta Informaticae"}],"container-title":["The Journal of Logic and Algebraic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832601000042?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832601000042?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T18:33:23Z","timestamp":1761590003000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1567832601000042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S1567832601000042"],"URL":"https:\/\/doi.org\/10.1016\/s1567-8326(01)00004-2","relation":{},"ISSN":["1567-8326"],"issn-type":[{"type":"print","value":"1567-8326"}],"subject":[],"published":{"date-parts":[[2001,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Real time process algebra with time-dependent conditions","name":"articletitle","label":"Article Title"},{"value":"The Journal of Logic and Algebraic Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1567-8326(01)00004-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2001 Elsevier Science Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}