{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:57:13Z","timestamp":1725494233213},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664123"},{"type":"electronic","value":"9783540483212"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48321-7_43","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:57:55Z","timestamp":1194267475000},"page":"512-523","source":"Crossref","is-referenced-by-count":0,"title":["Modeling interaction by sheaves and geometric logic"],"prefix":"10.1007","author":[{"given":"Viorica","family":"Sofronie-Stokkermans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karel","family":"Stokkermans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"43_CR1","unstructured":"J. Ad\u00e1mek and V. Trnkov\u00e1. Automata and Algebras in Categories. Kluwer Academic Publishers, 1990."},{"key":"43_CR2","volume-title":"Nato ASI Series F","author":"E.M. Clarke","year":"1996","unstructured":"E.M. Clarke, O. Grumberg, and D.E. Long. Model checking. In Nato ASI Series F, volume 152, New York, Heidelberg, Berlin, 1996. Springer-Verlag."},{"key":"43_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70075-2","volume-title":"Model Theory","author":"C.C. Chang","year":"1990","unstructured":"C.C. Chang and H.J. Keisler. Model Theory. North-Holland, Amsterdam, 3rd edition, 1990.","edition":"3rd edition"},{"key":"43_CR4","series-title":"Lect Notes Comput Sci","first-page":"58","volume-title":"Proceedings of Computer Science Logic\u2019 96","author":"G.L. Cattani","year":"1996","unstructured":"G.L. Cattani and G. Winskel. Presheaf models for concurrency. In D. van Dalen and M. Bezem, editors, Proceedings of Computer Science Logic\u2019 96, LNCS 1258, pages 58-75. Springer Verlag, Berlin, 1996."},{"key":"43_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-53031-2","volume-title":"Combinatorics on Traces","author":"V. Diekert","year":"1990","unstructured":"V. Diekert. Combinatorics on Traces. In LNCS 454. Springer Verlag, 1990."},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0960129500001420","volume":"11","author":"J.A. Goguen","year":"1992","unstructured":"J.A. Goguen. Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science, 11:159\u2013191, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"43_CR7","unstructured":"P. Johnstone. Stone Spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press, 1982."},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"F. Kr\u00f6ger. Temporal Logic of Programs, volume 8 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-71549-5_5"},{"key":"43_CR9","unstructured":"J. Lilius. A sheaf semantics for Petri nets. Technical Report A23, Dept. of Computer Science, Helsinki University of Technology, 1993."},{"key":"43_CR10","unstructured":"G. Malcolm. Interconnections of object specifications. In R. Wieringa and R. Feenstra, editors, Working Papers of the International Workshop on Information Systems \u2014 Correctness and Reusability, 1994. Appeared as internal report IR-357 of the Vrije Universiteit Amsterdam."},{"key":"43_CR11","unstructured":"S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Universitext. Springer Verlag, 1992."},{"key":"43_CR12","unstructured":"L. Monteiro and F. Pereira. A sheaf theoretic model for concurrency. Proc. Logic in Computer Science (LICS\u201986), 1986."},{"key":"43_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/3-540-54507-7_14","volume-title":"Proc. Fundamentals of Artificial Intelligence Research","author":"J. Pfalzgraf","year":"1991","unstructured":"J. Pfalzgraf. Logical fiberings and polycontextural systems. In P. Jorrand and J. Kelemen, editors, Proc. Fundamentals of Artificial Intelligence Research, volume 535 of LNCS (subseries LNAI), pages 170\u2013184. Springer Verlag, 1991."},{"key":"43_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-61732-9_64","volume-title":"Proceedings of Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-3, Steyr","author":"V. Sofronie","year":"1996","unstructured":"V. Sofronie. Towards a sheaf theoretic approach to cooperating agents scenarios. In J. Calmet, J.A. Campbell, and J. Pfalzgraf, editors, Proceedings of Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-3, Steyr, LNCS 1138, pages 289\u2013304. Springer-Verlag, 1996."},{"key":"43_CR15","unstructured":"V. Sofronie-Stokkermans. Fibered Structures and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems. PhD thesis, RISC-Linz, J. Kepler University Linz, 1997."},{"key":"43_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-61604-7_50","volume-title":"Concurrency Theory: 7th International Conference, CONCUR\u2019 96 Proceedings","author":"G. Winskel","year":"1996","unstructured":"G. Winskel. A presheaf semantics of value-passing proceses. In Montanari and Sassone, editors, Concurrency Theory: 7th International Conference, CONCUR\u2019 96 Proceedings, LNCS 1119, pages 98\u2013114, 1996."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48321-7_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:22:17Z","timestamp":1556947337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48321-7_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664123","9783540483212"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48321-7_43","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}