{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:26:20Z","timestamp":1744604780600},"reference-count":46,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444828309"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1016\/b978-044482830-9\/50028-x","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T17:58:36Z","timestamp":1192039116000},"page":"627-684","source":"Crossref","is-referenced-by-count":17,"title":["Process Algebra with Timing: Real Time and Discrete Time"],"prefix":"10.1016","author":[{"given":"J.C.M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"C.A.","family":"Middelburg","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-044482830-9\/50028-X_bib1","series-title":"Handbook of Process Algebra","first-page":"197","article-title":"Structural operational semantics","author":"Aceto","year":"2001"},{"issue":"2","key":"10.1016\/B978-044482830-9\/50028-X_bib2","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\/B978-044482830-9\/50028-X_bib3","series-title":"CONCUR'92","first-page":"401","article-title":"Discrete time process algebra (extended abstract)","author":"Baeten","year":"1992"},{"issue":"6","key":"10.1016\/B978-044482830-9\/50028-X_bib4","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\/B978-044482830-9\/50028-X_bib5","series-title":"Fundamentals of Computation Theory","first-page":"1","article-title":"Discrete time process algebra with abstraction","author":"Baeten","year":"1995"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib6","series-title":"Algebra of Communicating Processes 1994","first-page":"148","article-title":"Real time process algebra with infinitesimals","author":"Baeten","year":"1995"},{"issue":"2","key":"10.1016\/B978-044482830-9\/50028-X_bib7","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"},{"issue":"1\/2","key":"10.1016\/B978-044482830-9\/50028-X_bib8","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":"Fund. Inform."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib9","series-title":"CONCUR'93","first-page":"477","article-title":"A congruence theorem for structured operational semantics with predicates","author":"Baeten","year":"1993"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib10","first-page":"149","article-title":"Concrete process algebra","volume":"Vol. IV","author":"Baeten","year":"1995"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","article-title":"Process Algebra","author":"Baeten","year":"1990"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib12","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0167-6423(97)00021-X","article-title":"The discrete time {scToolBus}\u2013A software coordination architecture","volume":"31","author":"Bergstra","year":"1998","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib13","series-title":"Proc. 11th ICALP","first-page":"82","article-title":"The algebra of recursively defined processes and the algebra of regular processes","author":"Bergstra","year":"1984"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib14","series-title":"Handbook of Process Algebra","first-page":"1209","article-title":"Discrete time process algebra and the semantics of SDL","author":"Bergstra","year":"2001"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib15","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1145\/234752.234756","article-title":"The meaning of negative premises in transition system specifications","volume":"43","author":"Bol","year":"1996","journal-title":"J. ACM"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib16","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0167-6423(96)00036-6","article-title":"The I2C-bus in discrete-time process algebra","volume":"29","author":"Bos","year":"1997","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib17","series-title":"Algebra of Communicating Processes 1994","first-page":"106","article-title":"Formal semantics of discrete absolute timed interworkings","author":"van den Brink","year":"1995"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib18","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":"J. ACM"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib19","series-title":"Symposium on Logical Foundations of Computer Science","first-page":"81","article-title":"An interleaving model for real-time systems","author":"Chen","year":"1992"},{"issue":"4","key":"10.1016\/B978-044482830-9\/50028-X_bib20","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-1999-38403","article-title":"On the relationships among four timed process algebras","volume":"38","author":"Corradini","year":"1999","journal-title":"Fund. Inform."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib21","series-title":"Real Time: Theory and Practice","first-page":"640","article-title":"Timed CSP: Theory and practice","author":"Davies","year":"1992"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib22","series-title":"CONCUR'93","first-page":"432","article-title":"An elimination theorem for regular behaviours with integration","author":"Fokkink","year":"1993"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib23","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1006\/inco.1995.1151","article-title":"An effective axiomatization for real time ACP","volume":"122","author":"Fokkink","year":"1995","journal-title":"Inform. Comput."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib24","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":"Inform. Comput."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib25","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","article-title":"Transition system specifications with negative premises","volume":"118","author":"Groote","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib26","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","article-title":"A process algebra for timed systems","volume":"117","author":"Hennessy","year":"1995","journal-title":"Inform. Comput."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib27","series-title":"Algebra of Communicating Processes 1994","first-page":"124","article-title":"The ABP and CABP \u2013 a comparison of performances in real time process algebra","author":"Hillebrand","year":"1995"},{"year":"1985","series-title":"Communicating Sequential Processes","author":"Hoare","key":"10.1016\/B978-044482830-9\/50028-X_bib28"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib29","series-title":"CONCUR'91","first-page":"376","article-title":"Completeness in real-time process algebra","author":"Klusener","year":"1991"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib30","article-title":"Models and axioms for a fragment of real time process algebra","author":"Klusener","year":"1993","journal-title":"Ph.D. thesis, Eindhoven University of Technology, Department of Computing Science"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib31","series-title":"Algebra of Communicating Processes 1994","first-page":"252","article-title":"A real time \u03bcCRL specification of a system for traffic regulation at signalized intersections","author":"Koens","year":"1995"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib32","article-title":"Specification and verification of a circuit in ACPdrt-ID","author":"van den Meerendonk","year":"1996","journal-title":"M.Sc. thesis, Eindhoven University of Technology, Department of Mathematics and Computing Science"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib33","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980"},{"year":"1989","series-title":"Communication and Concurrency","author":"Milner","key":"10.1016\/B978-044482830-9\/50028-X_bib34"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib35","series-title":"CONCUR'90","first-page":"401","article-title":"A temporal calculus of communicating systems","author":"Moller","year":"1990"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib36","series-title":"CONCUR'91","first-page":"424","article-title":"Relating processes with respect to speed","author":"Moller","year":"1991"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib37","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":"Inform. Comput."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib38","article-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981","journal-title":"Technical Report DAIMI FN-19, University of Aarhus, Department of Computer Science"},{"issue":"3","key":"10.1016\/B978-044482830-9\/50028-X_bib39","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01211556","article-title":"TIC: A timed calculus","volume":"5","author":"Quemada","year":"1993","journal-title":"Formal Aspects of Computing"},{"year":"1993","series-title":"Specification of a bank account with process algebra","author":"Stins","key":"10.1016\/B978-044482830-9\/50028-X_bib40"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib41","series-title":"Algebra of Communicating Processes 1995","first-page":"245","article-title":"Fischer's protocol in timed process algebra","author":"Vereijken","year":"1995"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib42","article-title":"Discrete time process algebra","author":"Vereijken","year":"1997","journal-title":"Ph.D. thesis, Eindhoven University of Technology, Department of Computing Science"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib43","first-page":"274","article-title":"A congruence theorem for structured operational semantics with predicates and negative premises","volume":"2","author":"Verhoef","year":"1995","journal-title":"Nordic J. Comput."},{"key":"10.1016\/B978-044482830-9\/50028-X_bib44","series-title":"CONCUR'90","first-page":"502","article-title":"Real-time behaviour of asynchronous agents","author":"Yi","year":"1990"},{"year":"1992","series-title":"Specification of remote sensing mechanisms in real space process algebra","author":"van Waveren","key":"10.1016\/B978-044482830-9\/50028-X_bib45"},{"key":"10.1016\/B978-044482830-9\/50028-X_bib46","series-title":"International Standard ISO 8807","article-title":"a formal description technique based on the temporal ordering of observational behaviour","author":"LOTOS","year":"1989"}],"container-title":["Handbook of Process Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B978044482830950028X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B978044482830950028X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T04:57:10Z","timestamp":1587963430000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B978044482830950028X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9780444828309"],"references-count":46,"URL":"https:\/\/doi.org\/10.1016\/b978-044482830-9\/50028-x","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}