{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:53:39Z","timestamp":1725742419821},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401633"},{"type":"electronic","value":"9783642401640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40164-0_24","type":"book-chapter","created":{"date-parts":[[2013,7,21]],"date-time":"2013-07-21T21:01:30Z","timestamp":1374440490000},"page":"248-258","source":"Crossref","is-referenced-by-count":2,"title":["An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals"],"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":[{"issue":"1-3","key":"24_CR1","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"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(99)00002-3","volume":"42","author":"S. Priess-Crampe","year":"2000","unstructured":"Priess-Crampe, S., Ribenboim, P.: Ultrametric spaces and logic programming. The Journal of Logic Programming\u00a042(2), 59\u201370 (2000)","journal-title":"The Journal of Logic Programming"},{"issue":"1-2","key":"24_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":"24_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)"},{"key":"24_CR5","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","key":"24_CR6","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":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-19020-1_12","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"M.B. Smyth","year":"1988","unstructured":"Smyth, M.B.: Quasi-uniformities: Reconciling domains with metric spaces. In: Main, M.G., Mislove, M.W., Melton, A.C., Schmidt, D. (eds.) MFPS 1987. LNCS, vol.\u00a0298, pp. 236\u2013253. Springer, Heidelberg (1988)"},{"issue":"1","key":"24_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(97)00236-3","volume":"177","author":"R.C. Flagg","year":"1997","unstructured":"Flagg, R.C., Kopperman, R.: Continuity spaces: Reconciling domains and metric spaces. Theoretical Computer Science\u00a0177(1), 111\u2013138 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0304-3975(96)00243-5","volume":"193","author":"A. Edalat","year":"1998","unstructured":"Edalat, A., Heckmann, R.: A computational model for metric spaces. Theoretical Computer Science\u00a0193(1-2), 53\u201373 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"24_CR10","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"},{"key":"24_CR11","unstructured":"Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems, 2nd edn. (2011), \n                  \n                    http:\/\/LeeVariaya.org"},{"issue":"12","key":"24_CR12","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":"24_CR13","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":"24_CR14","unstructured":"Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol.\u00a042. Cambridge University Press (1993)"},{"key":"24_CR15","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"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Harcourt\/Academic Press (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40164-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T21:37:46Z","timestamp":1557956266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40164-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401633","9783642401640"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40164-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}