{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:39Z","timestamp":1763468139611},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402289"},{"type":"electronic","value":"9783642402296"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40229-6_13","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:47:40Z","timestamp":1374529660000},"page":"183-197","source":"Crossref","is-referenced-by-count":8,"title":["On Fixed Points of Strictly Causal Functions"],"prefix":"10.1007","author":[{"given":"Eleftherios","family":"Matsikoudis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Zeigler, B.P.: Theory of Modeling and Simulation. John Wiley & Sons (1976)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Matsikoudis, E., Lee, E.A.: The fixed-point theory of strictly causal functions. Technical Report UCB\/EECS-2013-122, EECS Department, University of California, Berkeley (June 2013)","DOI":"10.21236\/ADA586605"},{"issue":"1-2","key":"13_CR3","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":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11817949_1","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"X. Liu","year":"2006","unstructured":"Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 1\u201315. Springer, Heidelberg (2006)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF02941344","volume":"63","author":"S. Priess-Crampe","year":"1993","unstructured":"Priess-Crampe, S., Ribenboim, P.: Fixed points, combs and generalized power series. Abhandlungen aus dem Mathematischen Seminar der Universit\u00e4t Hamburg\u00a063(1), 227\u2013244 (1993)","journal-title":"Abhandlungen aus dem Mathematischen Seminar der Universit\u00e4t Hamburg"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"issue":"12","key":"13_CR7","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E.A. Lee","year":"1998","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"1","key":"13_CR8","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(1), 25\u201345 (1999)","journal-title":"Annals of Software Engineering"},{"key":"13_CR9","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":"J. Liu","year":"2003","unstructured":"Liu, J., Lee, E.A.: 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)"},{"issue":"1-3","key":"13_CR10","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":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-56891-3_17","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"R.K. Yates","year":"1993","unstructured":"Yates, R.K., Gao, G.R.: A Kahn principle for networks of nonmonotonic real-time processes. In: Bode, A., Reeve, M., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 209\u2013227. Springer, Heidelberg (1993)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-57208-2_27","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, pp. 384\u2013397. Springer, Heidelberg (1993)"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00087-6","volume":"253","author":"M. Broy","year":"2001","unstructured":"Broy, M.: Refinement of time. Theoretical Computer Science\u00a0253(1), 3\u201326 (2001)","journal-title":"Theoretical Computer Science"},{"key":"13_CR14","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems, 2nd edn. (2011), \n                  \n                    http:\/\/LeeVariaya.org"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Enderton, H.B.: Elements of Set Theory. Academic Press (1977)","DOI":"10.1016\/S0049-237X(08)71114-5"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Constructive versions of Tarski\u2019s fixed point theorems. Pacific J. of Math.\u00a082(1), 43\u201357 (1979)","journal-title":"Pacific J. of Math."},{"issue":"2","key":"13_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. of Math.\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific J. of Math."},{"issue":"1","key":"13_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF02485815","volume":"6","author":"G. Markowsky","year":"1976","unstructured":"Markowsky, G.: Chain-complete posets and directed sets with applications. Algebra Universalis\u00a06(1), 53\u201368 (1976)","journal-title":"Algebra Universalis"},{"key":"13_CR19","unstructured":"Scott, D.S., de Bakker, J.W.: A theory of programs. Unpublished notes, Seminar on Programming, IBM Research Center, Vienna, Austria (1969)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-16761-7_81","volume-title":"Automata, Languages and Programming","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. In: Kott, L. (ed.) ICALP 1986. LNCS, vol.\u00a0226, pp. 314\u2013323. Springer, Heidelberg (1986)"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/3-540-15670-4_17","volume-title":"Seminar on Concurrency","author":"W.C. Rounds","year":"1985","unstructured":"Rounds, W.C.: Applications of topology to semantics of communicating processes. In: Brookes, S., Roscoe, A.W., Winskel, G. (eds.) Seminar on Concurrency. LNCS, vol.\u00a0197, pp. 360\u2013372. Springer, Heidelberg (1985)"},{"key":"13_CR22","first-page":"1","volume-title":"Topology and Category Theory in Computer Science","author":"A.W. Roscoe","year":"1991","unstructured":"Roscoe, A.W.: Topology, computer science, and the mathematics of convergence. In: Reed, G.M., Roscoe, A.W., Wachter, R.F. (eds.) Topology and Category Theory in Computer Science, pp. 1\u201327. Oxford University Press, Inc., New York (1991)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-540-73859-6_22","volume-title":"Algebra and Coalgebra in Computer Science","author":"D. Kozen","year":"2007","unstructured":"Kozen, D., Ruozzi, N.: Applications of metric coinduction. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 327\u2013341. Springer, Heidelberg (2007)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-19020-1_17","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: Metric spaces as models for real-time concurrency. In: Main, M.G., Mislove, M.W., Melton, A.C., Schmidt, D. (eds.) MFPS 1987. LNCS, vol.\u00a0298, pp. 331\u2013343. Springer, Heidelberg (1988)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BFb0014732","volume-title":"Hybrid and Real-Time Systems","author":"O. M\u00fcller","year":"1997","unstructured":"M\u00fcller, O., Scholz, P.: Functional specification of real-time and hybrid systems. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, pp. 273\u2013285. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.tcs.2006.05.037","volume":"368","author":"M. Kr\u00f6tzsch","year":"2006","unstructured":"Kr\u00f6tzsch, M.: Generalized ultrametric spaces in quantitative domain theory. Theoretical Computer Science\u00a0368(1-2), 30\u201349 (2006)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"13_CR27","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.tcs.2008.08.044","volume":"409","author":"X. Liu","year":"2008","unstructured":"Liu, X., Lee, E.A.: CPO semantics of timed interactive actor networks. Theoretical Computer Science\u00a0409(1), 110\u2013125 (2008)","journal-title":"Theoretical Computer Science"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00602-9_4","volume-title":"Hybrid Systems: Computation and Control","author":"P. Caspi","year":"2009","unstructured":"Caspi, P., Benveniste, A., Lublinerman, R., Tripakis, S.: Actors without directors: A Kahnian view of heterogeneous systems. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol.\u00a05469, pp. 46\u201360. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40229-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:44:59Z","timestamp":1557960299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40229-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402289","9783642402296"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40229-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}