{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:10:13Z","timestamp":1761675013760},"reference-count":19,"publisher":"EDP Sciences","issue":"4-5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1051\/ita:1999123","type":"journal-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T15:07:12Z","timestamp":1068822432000},"page":"357-381","source":"Crossref","is-referenced-by-count":16,"title":["Topologies, Continuity and Bisimulations"],"prefix":"10.1051","volume":"33","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2002,8,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"Alur","year":"1995","journal-title":"Theoret. Comput. Sci."},{"key":"R2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00045-X","volume":"151","author":"Ambler","year":"1995","journal-title":"Theoret. Comput. Sci."},{"key":"R3","unstructured":"J.-P. Aubin and H. Frankowska,Set-Valued Analysis. Birkh\u00e4user, Boston (1990)."},{"key":"R4","unstructured":"M. Bonsangue and M. Kwiatkowska, Reinterpreting the modal\u00b5-calculus, A. Ponse, M. de Rijke and Y. Venema, Eds.,Modal Logic and Process Algebra. CLSI Publications, Stanford (1995) 65-83."},{"key":"R5","doi-asserted-by":"crossref","unstructured":"J. Davoren,Modal Logics for Continuous Dynamics. Ph.D. Thesis, Department of Mathematics Cornell University (1998).","DOI":"10.21236\/ADA344316"},{"key":"R6","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-49163-5_3","volume":"1567","author":"Davoren","year":"1999","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R7","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","volume":"1066","author":"Daws","year":"1996","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R8","doi-asserted-by":"crossref","unstructured":"T. Henzinger, The theory of hybrid automata, inProc. of 11thAnnual IEEE Symposium on Logic in Computer Science (LICS'96). IEEE Computer Society Press (1996) 278-292.","DOI":"10.1109\/LICS.1996.561342"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"T. Henzinger, P. Kopke, A. Puri and P. Varaiya, What's decidable about hybrid automata?J. Comput. System Sci.57(1998) 94-124.","DOI":"10.1006\/jcss.1998.1581"},{"key":"R10","unstructured":"M. Hollenberg,Logic and Bisimulation. Ph.D. Thesis, Department of Philosophy, Utrecht University (1998)."},{"key":"R11","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"Amer. J. Math."},{"key":"R12","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"R13","doi-asserted-by":"crossref","unstructured":"G. Lafferriere, G. Pappas and S. Sastry, O-minimal hybrid systems. Technical Report UCB\/ERL M98\/29, Dept. EECS, UC Berkeley (1998).","DOI":"10.21236\/ADA358308"},{"key":"R14","unstructured":"G. Lafferriere, G. Pappas and S. Yovine, Decidable hybrid systems. Technical Report UCB\/ERL M98\/39, Dept. EECS, UC Berkeley (1998)."},{"key":"R15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-57318-6_34","volume":"736","author":"Nerode","year":"1993","journal-title":"Lecture Notes in Comput. Sci."},{"key":"R16","unstructured":"M.B. Smyth, Topology, S. Abramsky, D. Gabbay and T. Maibaum, Eds. Oxford University Press, Clarendon Press, Oxford,Handb. Log. Comput. Sci.1(1992) 641-761."},{"key":"R17","unstructured":"C. Stirling, Modal and temporal logics, S. Abramsky, D. Gabbay and T. Maibaum, Eds. Oxford University Press, Clarendon Press, Oxford,Handb. Log. Comput. Sci.2(1992) 477-563."},{"key":"R18","doi-asserted-by":"crossref","unstructured":"L. van den Dries,Tame Topology and O-minimal Structures. Cambridge Univ. Press, Cambridge,London Math. Soc. Lecture Note Ser.248(1998).","DOI":"10.1017\/CBO9780511525919"},{"key":"R19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.2307\/420995","volume":"2","author":"Walukiewicz","year":"1996","journal-title":"Bull. Symbolic Logic"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999123\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T23:00:11Z","timestamp":1585263611000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:1999123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":19,"journal-issue":{"issue":"4-5"},"alternative-id":["ita9930"],"URL":"https:\/\/doi.org\/10.1051\/ita:1999123","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}