{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T21:15:38Z","timestamp":1775769338636,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540578802","type":"print"},{"value":"9783540483762","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57880-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:04Z","timestamp":1330263424000},"page":"58-73","source":"Crossref","is-referenced-by-count":9,"title":["An asynchronous process algebra with multiple clocks"],"prefix":"10.1007","author":[{"given":"Henrik Reif","family":"Andersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In de Bakker et al. [dBHdRR91], pages 45\u201373.","DOI":"10.1007\/BFb0031987"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"L. Aceto and D. Murphy. On the ill-timed but well-caused. In E. Best, editor, Proc. Concur'93, pages 97\u2013111. Springer LNCS 715, 1993.","DOI":"10.1007\/3-540-57208-2_8"},{"key":"4_CR3","unstructured":"H. R. Andersen and M. Mendler. A process algebra with multiple clocks. Technical Report ID-TR:1993-122, Department of Computer Science, Technical University of Denmark, August 1993."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"A. Benveniste, M. Le Borgne, and P. Le Guernic. Hybrid systems: The Signal approach. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 230\u2013254. Springer LNCS 736, 1993.","DOI":"10.1007\/3-540-57318-6_31"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"G. Berry and L. Cosserat. The esterel synchronous programming language and its mathematical semantics. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, pages 389\u2013448. Springer LNCS 197, 1984.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"4_CR6","unstructured":"J.C.M. Baeten and J.W. Klop, editors. Proceedings of CONCUR '90, volume 458 of LNCS. Springer-Verlag, 1990."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"T. Bolognesi and F. Lucidi. Timed process algebras with urgent interactions and a unique powerful binary operator. In de Bakker et al. [dBHdRR91], pages 124\u2013148.","DOI":"10.1007\/BFb0031990"},{"key":"4_CR8","unstructured":"L. Birkedal, N. Rothwell, M. Tofte, and D. N. Turner. The ML Kit, Version 1. Technical Report, DIKU, March 1993."},{"issue":"10","key":"4_CR9","doi-asserted-by":"crossref","first-page":"1251","DOI":"10.1109\/TC.1987.1676867","volume":"C-36","author":"D. M. Chapiro","year":"1987","unstructured":"Daniel M. Chapiro. Reliable high-speed arbitration and synchronization. IEEE Transaction on Computers, C-36(10):1251\u20131255, October 1987.","journal-title":"IEEE Transaction on Computers"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, volume 600 of LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031984"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"M. Hennessy. Timed process algebras: A tutorial. Technical Report 93\u223602, Department of Computer Science, University of Sussex, January 1993.","DOI":"10.1007\/978-3-662-02880-3_11"},{"key":"4_CR12","volume-title":"Workshop on automatic verification methods for finite state systems","author":"N. Halbwachs","year":"1989","unstructured":"N. Halbwachs, D. Pilaud, F. Ouabdesselam, and A.-C. Glory. Specifying, programming and verifying real-time systems using a synchronous declarative language. In Workshop on automatic verification methods for finite state systems, Grenoble, France, June 12\u201314 1989. Springer LNCS 407."},{"key":"4_CR13","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Computer Science Technical Report 91\u223605, Department of Computer Science, University of Sussex, April 1991. To appear in Information and Computation."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"A. S. Klusener. Abstraction in real time process algebra. In de Bakker et al. [dBHdRR91], pages 325\u2013352.","DOI":"10.1007\/BFb0031999"},{"key":"4_CR15","unstructured":"Chen Liang. An interleaving model for real-time systems. Technical Report ECS-LFCS-91-184, Laboratory for Foundations of Computer Science, University of Edinburgh, November 1991."},{"issue":"3","key":"4_CR16","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"Robin Milner. A complete inference system for a class of regular behaviours. J. of Computer and System Sciences, 28(3):439\u2013466, June 1984.","journal-title":"J. of Computer and System Sciences"},{"key":"4_CR17","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"Robin Milner. A complete axiomatisation for observational congruence of finite-state behaviours. Information and Computation, 81:227\u2013247, 1989.","journal-title":"Information and Computation"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Faron Moller and Chris Tofts. A temporal calculus of communicating systems. In Baeten and Klop [BK90], pages 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"F. Moller and Ch. Tofts. Behavioural abstraction in TCCS. In W. Kuich, editor, Proc. ICALP'92, pages 559\u2013570. Springer LNCS 623, 1992.","DOI":"10.1007\/3-540-55719-9_104"},{"key":"4_CR21","volume-title":"Technical Report RT-C26","author":"X. Nicollin","year":"1990","unstructured":"X. Nicollin and J. Sifakis. The algebra of timed processes ATP: theory and application. Technical Report RT-C26, LGI-IMAG, Grenoble, France, December 1990."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. From ATP to timed graphs and hybrid systems. In de Bakker et al. [dBHdRR91], pages 549\u2013572.","DOI":"10.1007\/BFb0032007"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In de Bakker et al. [dBHdRR91], pages 526\u2013548.","DOI":"10.1007\/BFb0032006"},{"key":"4_CR24","unstructured":"S. Schneider, J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed, and A.W. Roscoe. Timed CSP: Theory and practice. In de Bakker et al. [dBHdRR91], pages 526\u2013548."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Yi Wang. Real-time behaviour of asynchronous agents. In Baeten and Klop [BK90].","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57880-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:22Z","timestamp":1605647722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57880-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578802","9783540483762"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-57880-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}