{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:09:20Z","timestamp":1763467760770},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_1","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T15:59:29Z","timestamp":1154534369000},"page":"1-15","source":"Crossref","is-referenced-by-count":21,"title":["Modeling Timed Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Xiaojun","family":"Liu","sequence":"first","affiliation":[]},{"given":"Eleftherios","family":"Matsikoudis","sequence":"additional","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"1_CR1","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Trans. Program. Lang. Syst.\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"1_CR2","first-page":"181","volume":"11","author":"A. Arnold","year":"1980","unstructured":"Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Fundamenta Informaticae\u00a011(2), 181\u2013205 (1980)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"1_CR3","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2140\/pjm.1956.6.405","volume":"6","author":"N. Aronszajn","year":"1956","unstructured":"Aronszajn, N., Panitchpakdi, P.: Extension of uniformly continuous transformations and hyperconvex metric spaces. Pacific Journal of Mathematics\u00a06(3), 405\u2013439 (1956)","journal-title":"Pacific Journal of Mathematics"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(94)00046-8","volume":"135","author":"C. Baier","year":"1994","unstructured":"Baier, C., Majster-Cederbaum, M.E.: Denotational semantics in the cpo and metric approach. Theoretical Computer Science\u00a0135(2), 171\u2013220 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"1_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.ipl.2003.07.002","volume":"88","author":"C.S. Calude","year":"2003","unstructured":"Calude, C.S., Marcus, S., Staiger, L.: A topological characterization of random sequences. Information Processing Letters\u00a088(5), 245\u2013250 (2003)","journal-title":"Information Processing Letters"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0166-8641(97)00140-5","volume":"85","author":"J.W. Bakker de","year":"1998","unstructured":"de Bakker, J.W., de Vink, E.P.: Denotational models for programming languages: Applications of Banach\u2019s fixed point theorem. Topology and its Applications\u00a085, 35\u201352 (1998)","journal-title":"Topology and its Applications"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-21593-8","volume-title":"Fixed Point Theory","author":"A. Granas","year":"2003","unstructured":"Granas, A., Dugundji, J.: Fixed Point Theory. Springer, Heidelberg (2003)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Approximate reasoning for real-time probabilistic processes. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST 2004), September 2004, pp. 304\u2013313 (2004)","DOI":"10.1109\/QEST.2004.1348044"},{"issue":"1-3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(02)00709-0","volume":"305","author":"P. Hitzler","year":"2003","unstructured":"Hitzler, P., Seda, A.K.: Generalized metrics and uniquely determined logic programs. Theoretical Computer Science\u00a0305(1-3), 187\u2013219 (2003)","journal-title":"Theoretical Computer Science"},{"key":"1_CR10","unstructured":"Kapur, A.: Interval and Point-Based Approaches to Hybrid Systems Verification. Ph.d., Stanford University, Uses super dense time (super-dense, superdense) (1997)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1018998524196","volume":"7","author":"E.A. Lee","year":"1999","unstructured":"Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering\u00a07, 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on CAD\u00a017(12) (1998)","DOI":"10.1109\/43.736561"},{"key":"1_CR13","volume-title":"Structure and Interpretation of Signals and Systems","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems. Addison-Wesley, Reading (2003)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational Semantics of Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 25\u201353. Springer, Heidelberg (2005)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-36580-X_25","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Liu, J.: On the Causality of Mixed-Signal and Hybrid Models. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 328\u2013342. Springer, Heidelberg (2003)"},{"key":"1_CR16","unstructured":"Liu, X.: Semantic foundation of the tagged signal model. Phd thesis, EECS Department, University of California (December 20, 2005)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems using generalized ultrametrics. Technical Report UCB\/EECS-2006-45. EECS Department, University of California, Berkeley (May 1, 2006)","DOI":"10.1007\/11817949_1"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory and Practice, REX Workshop","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Real-Time: Theory and Practice, REX Workshop, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Verifying hybrid systems. Hybrid Systems, 4\u201335 (1992)","DOI":"10.1007\/3-540-57318-6_22"},{"issue":"1-2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0304-3975(99)00165-6","volume":"238","author":"H. Naundorf","year":"2000","unstructured":"Naundorf, H.: Strictly causal functions have a unique fixed point. Theoretical Computer Science\u00a0238(1-2), 483\u2013488 (2000)","journal-title":"Theoretical Computer Science"},{"key":"1_CR21","first-page":"155","volume":"19","author":"S. Priess-Crampe","year":"1999","unstructured":"Priess-Crampe, S., Ribenboim, P.: Logic programming and ultrametric spaces. Rendiconti di Matematica, Serie VII\u00a019, 155\u2013176 (1999)","journal-title":"Rendiconti di Matematica, Serie VII"},{"key":"1_CR22","first-page":"53","volume":"12","author":"S. Priess-Crampe","year":"2000","unstructured":"Priess-Crampe, S., Ribenboim, P.: Fixed point and attractor theorems for ultrametric spaces. Forum Mathematicum\u00a012, 53\u201364 (2000)","journal-title":"Forum Mathematicum"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Reed, G.M., Roscoe, A.W.: Metric spaces as models for real-time concurrency. In: 3rd Workshop on Mathematical Foundations of Programming Language Semantics, London, UK, pp. 331\u2013343 (1988)","DOI":"10.1007\/3-540-19020-1_17"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-53982-4_22","volume-title":"TAPSOFT \u201991. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991","author":"F. Breugel van","year":"1991","unstructured":"van Breugel, F.: Comparative semantics for a real-time programming language with integration. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol.\u00a0493, pp. 397\u2013411. Springer, Heidelberg (1991)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201993","author":"R.K. Yates","year":"1993","unstructured":"Yates, R.K.: Networks of real-time processes. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:15:45Z","timestamp":1605626145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11817949_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}