{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:09Z","timestamp":1725663609223},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:10Z","timestamp":1330252030000},"page":"81-98","source":"Crossref","is-referenced-by-count":5,"title":["A sheaf semantics for FOOPS expressions (extended abstract)"],"prefix":"10.1007","author":[{"given":"D. A.","family":"Wolfram","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph A.","family":"Goguen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"883","DOI":"10.2307\/1968471","volume":"39","author":"J. W. Alexander","year":"1938","unstructured":"J.W. Alexander, A theory of connectivity in terms of gratings, Ann. Math. 39 (1938) 883\u2013912.","journal-title":"Ann. Math."},{"key":"4_CR2","volume-title":"Extended Abstract","author":"D. B. Benson","year":"1991","unstructured":"D.B. Benson, Global versus local enveloping behaviours of concurrent systems, Extended Abstract, Washington State University, Pullman, Washington, 1991."},{"key":"4_CR3","volume-title":"Draft #7","author":"D. B. Benson","year":"1991","unstructured":"D.B. Benson, Sheaves of Process Histories, Draft #7, Washington State University, Pullman, Washington, 1991."},{"key":"4_CR4","volume-title":"M.Sc. thesis","author":"R. Dubey","year":"1991","unstructured":"R. Dubey, On a general definition of safety and liveness, M.Sc. thesis, Washington State University, Pullman, Washington, 1991."},{"key":"4_CR5","first-page":"203","volume-title":"Lecture Notes in Computer Science","author":"H.-D. Ehrich","year":"1991","unstructured":"H.-D. Ehrich, J.A. Goguen, and A. Sernadas, A categorial theory of objects as observed processes, in: Foundations of Object Oriented Languages, Proceedings of a REX\/FOOL Workshop, (Noordwijkerhout, the Netherlands, May\/June 1990), J.W. de Bakker, W.P. de Roever and G. Rozenberg (Eds.), Lecture Notes in Computer Science, Springer, Berlin, 489 (1991) 203\u2013228."},{"key":"4_CR6","first-page":"52","volume-title":"Principles of OBJ2","author":"K. Futatsugi","year":"1985","unstructured":"K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, and J. Meseguer, Principles of OBJ2, Proceedings of the Twelfth Symposium on Principles of Programming Languages, Association for Computing Machinery, New York, 1985, 52\u201366."},{"key":"4_CR7","first-page":"18","volume-title":"Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems","author":"J. A. Goguen","year":"1987","unstructured":"J.A. Goguen and J. Meseguer, Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems, in: Proceedings of the Second IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Washington, D.C., 1987, 18\u201329."},{"key":"4_CR8","volume-title":"Research Report SRI-CSL-87-7","author":"J. A. Goguen","year":"1987","unstructured":"J.A. Goguen and J. Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, Research Report SRI-CSL-87-7, SRI International, Menlo Park, California, 1987."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, Mathematical representations of hierarchically organized systems, Global Systems Dynamics, S. Karger, 1971, 112\u2013128.","DOI":"10.1159\/000389460"},{"key":"4_CR10","unstructured":"J.A. Goguen, Categorical foundations for general systems theory, in: Advances in Cybernetics and Systems Research, Transcripta Books, 1973, 121\u2013130."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J. A. Goguen","year":"1975","unstructured":"J.A. Goguen, Objects, International Journal of General Systems 1 (1975) 237\u2013243.","journal-title":"International Journal of General Systems"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, Sheaf semantics for concurrent interacting objects, Mathematical Structures in Computer Science, 1991, (to appear).","DOI":"10.1017\/S0960129500001420"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and S. Ginali, A categorical approach to general systems theory, in: Applied General Systems Research, G. Klir, (Ed.), Plenum, 1978, 257\u2013270.","DOI":"10.1007\/978-1-4757-0555-3_18"},{"key":"4_CR14","first-page":"1","volume-title":"Lecture Notes in Mathematics 753","author":"J. W. Gray","year":"1979","unstructured":"J.W. Gray, Fragments of the history of sheaf theory, in: Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, M.P. Fourman, C.J. Mulvey, and D.S. Scott, (Eds.), Lecture Notes in Mathematics 753, Springer, Berlin, 1979, 1\u201379."},{"key":"4_CR15","first-page":"95","volume":"24","author":"J. Leray","year":"1945","unstructured":"J. Leray, Sur la forme des espaces topologiques et sur les points fixes des repr\u00e9sentations, Journal de Math. Ser. 9, 24 (1945) 95\u2013167.","journal-title":"Journal de Math. Ser. 9"},{"key":"4_CR16","first-page":"66","volume-title":"A sheaf-theoretic model of concurrency","author":"L. F. Monteiro","year":"1986","unstructured":"L.F. Monteiro and F.C.N. Pereira, A sheaf-theoretic model of concurrency, Proceedings of the Symposium on Logic in Computer Science, IEEE Computer Society, Washington D.C., 1986, 66\u201376."},{"key":"4_CR17","volume-title":"Research Report","author":"E. Munthe-Kaas","year":"1987","unstructured":"E. Munthe-Kaas, J.A. Goguen, and J. Meseguer, Method expressions and default values for object-valued attributes, Research Report, SRI International, Menlo Park, California, 1987."},{"key":"4_CR18","unstructured":"J.A. Goguen and D.A. Wolfram, On types and FOOPS, Proceedings of the IFIP Working Group 2.6 Working Conference on Database Semantics: Object Oriented Databases: Analysis, Design & Construction, 1990, International Federation for Information Processing, (To appear)."}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:47Z","timestamp":1605646847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}