{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:43Z","timestamp":1725456583145},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633884"},{"type":"electronic","value":"9783540695301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014553","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:17:33Z","timestamp":1132737453000},"page":"213-232","source":"Crossref","is-referenced-by-count":1,"title":["Infinitary domain logic for finitary transition systems"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","unstructured":"Abramsky, S.: Domain theory and the logic of observable properties. PhD thesis, Queen Mary College, University of London, 1987."},{"issue":"1","key":"9_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"Abramsky, S.: Domain theory in logical form. Annals of Pure and Applied Logic, 51(1):1\u201377, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"9_CR3","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1006\/inco.1991.9999","volume":"92","author":"S. Abramsky","year":"1991","unstructured":"Abramsky, S.: A domain equation for bisimulation. Information and Computation, 92(2):161\u2013218, 1991.","journal-title":"Information and Computation"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.J.: Quantales, observational logic and process semantics. Mathematical Structures in Computer Science, 3:161\u2013227, 1993.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR5","unstructured":"Bonsangue, M.M., Kwiatkowska M.Z.: Re-interpreting the modal \u03bc-calculus. In A. Ponse, M. de Rijke, and Y. Venema, editors, Modal Logic and Process Algebra, volume 53 of CSLI Lecture notes, pages 65\u201383, Stanford, 1995. Centre for Study of Languages and Information."},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0304-3975(95)00048-2","volume":"151","author":"M.M. Bonsangue","year":"1995","unstructured":"Bonsangue, M.M., Jacobs, B., Kok, J.N.: Duality beyond sober spaces: topological spaces and observation frames. Theoretical Computer Science, 151(1):79\u2013124, 1995.","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","unstructured":"Bonsangue, M.M.: Topological Dualities in Semantics. PhD thesis, Vrije Universiteit Amsterdam, 1996."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Brookes, S.D.: An axiomatic treatment of a parallel programming language. In R. Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15648-8_4"},{"key":"9_CR9","volume-title":"Theory and Formal Methods 1993","author":"L. Errington","year":"1993","unstructured":"Errington, L., Hankin, C.L., Jensen, T.P.: Reasoning about Gamma programs. In G.L. Burn, S.J. Gay, M.D. Ryan, editors, Theory and Formal Methods 1993, Workshop in Computing, Imperial College, London, Springer-Verlag, 1993."},{"key":"9_CR10","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia, L.: Topological Kripke models. Soviet Mathematics Doklady, 15:147\u2013151, 1974.","journal-title":"Soviet Mathematics Doklady"},{"key":"9_CR11","first-page":"1","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","author":"K. Fine","year":"1973","unstructured":"Fine, K.: Some connections between elementary and modal logic. In S. Kange, editor, Proceedings of the Third Scandinavian Logic Symposium, 1\u201315, North-Holland, Amsterdam, 1973."},{"key":"9_CR12","first-page":"167","volume-title":"Coordination Programming, mechanisms, models and semantics","author":"S.J. Gay","year":"1996","unstructured":"Gay, S.J., Hankin, C.L.: A program logic for Gamma. In J.-M. Andreoli, C.L. Hankin and D. Le Me\u00e9tayer, editors, Coordination Programming, mechanisms, models and semantics, 167\u2013178, Imperial College Press, London, 1996."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Guessarian, I.: Algebraic Semantics. Volume 99 of Lecture Notes in Computer Science, Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10284-1"},{"issue":"1","key":"9_CR14","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M.C Hennessy","year":"1985","unstructured":"Hennessy, M.C, Milner R.: Algebraic laws for non-determinism and concurrency. Journal of the ACM, 32(1):137\u2013161, 1985.","journal-title":"Journal of the ACM"},{"key":"9_CR15","unstructured":"Johnstone, P.T.: Stone Spaces. Volume 3 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, volume 3, 1982."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Park, D.M.: Concurrency and automata on infinite sequences. In P. Deussen, editor, Proceedings of the 5th GI Conference, volume 104 of Lecture Notes in Computer Science, pages 167\u2013183. Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"9_CR18","unstructured":"G.D. Plotkin, G.D.: Post-graduate lecture notes in advanced domain theory (incorporating the \u2018Pisa notes'). Department of Computer Science, University of Edinburgh, 1981."},{"key":"9_CR19","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"9_CR20","unstructured":"Scott, D.S.: Outline of a mathematical theory of computation. In Proceedings 4th Annual Princeton Conference on Information Sciences and Systems, pages 169\u2013176, 1970."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Domains for denotational semantics. In M. Nielsen and E.M. Schmidt, editors, 9th International Colloquium on Automata, Languages and Programming, Aarhus, Denmark, volume 140 of Lecture Notes in Computer Science, pages 577\u2013613. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012801"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Smyth, M.B.: Power domains and predicate transformers: a topological view. In J. Diaz, editor, Proceedings 10th International Colloquium on Automata, Languages and Programming, Barcelona, Spain, volume 154 of Lecture Notes in Computer Science, pages 662\u2013675. Springer-Verlag, 1983.","DOI":"10.1007\/BFb0036946"},{"key":"9_CR23","unstructured":"Scott, D.S., Strachey, C.: Towards a mathematical semantics for computer languages. In Proceedings of the Symposium on Computers and Automata, volume 21 of Microwave Research Institute Symposia series, 1971."},{"key":"9_CR24","unstructured":"Vickers, S.J.: Topology via Logic. Volume 5 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989."},{"key":"9_CR25","unstructured":"Zhang, G.-Q.: Logic of Domains. Progress in Theoretical Computer Science, Birkhauser,1991."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T20:57:54Z","timestamp":1549400274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633884","9783540695301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0014553","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}