{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:09Z","timestamp":1725663909975},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578673"},{"type":"electronic","value":"9783540483618"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57867-6_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:32:05Z","timestamp":1330263125000},"page":"337-350","source":"Crossref","is-referenced-by-count":5,"title":["An institution of object behaviour"],"prefix":"10.1007","author":[{"given":"Am\u00edlcar","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 F\u00e9lix","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"21_CR1","unstructured":"J.Ad\u00e1mek, H.Herrlich and G. Strecker, Abstract and Concrete Categories, Wiley, 1990."},{"key":"21_CR2","unstructured":"C.Caleiro, \u201cOperational Semantics of Temporal Object Specifications\u201d, INESC\/DMIST Research Report, June 1993, presented at the COMPASS GM'93, Dresden."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"J.Fiadeiro, J.F.Costa, A.Sernadas and T.Maibaum, \u201cProcess Semantics of Temporal Logic Specification\u201d, in M.Bidoit and C.Choppy (eds), Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types \u2014 Selected Papers, Springer-Verlag, 1993, 40\u201365.","DOI":"10.1007\/3-540-56379-2_43"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"J.A.Goguen and R.M.Burstall, \u201cIntroducing Institutions\u201d, in E.Clarke (ed), Logics of Programming Workshop, Springer-Verlag, 1984, 221\u2013256.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"21_CR5","unstructured":"R.Goldblatt, Logics of Time and Computation, CSLI, 1987."},{"key":"21_CR6","unstructured":"T.Maibaum, J.Fiadeiro and M.Sadler, \u201cStepwise Program Development in \u03c0-Institutions\u201d, Imperial College, Department of Computing Research Report, 1990."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Z.Manna and A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Z.Manna and P.Wolper, \u201cSynthesis of Communicating Processes from Temporal Logic Specifications\u201d, ACM Transactions on Programming Languages and Systems, 1984, 68\u201393.","DOI":"10.1145\/357233.357237"},{"key":"21_CR9","unstructured":"A.Sernadas and H.-D.Ehrich, \u201cWhat is an Object, After All?\u201d, in R.Meersman, W.Kent and S.Khosla (eds), Object Oriented Databases: Analysis, Design and Construction, North-Holland, 1991, 39\u201369."},{"key":"21_CR10","unstructured":"A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, \u201cBasic Building Blocks of Information Systems\u201d, in E.Falkenberg and P.Lindgreen (eds), Information System Concepts: An In-depth Analysis, North-Holland, 1989, 225\u2013246."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, \u201cAbstract Object Types: A Temporal Perspective\u201d, in B.Banieqbal, H.Barringer and A.Pnueli (eds), Temporal Logic in Specification, Springer-Verlag, 1989, 324\u2013350.","DOI":"10.1007\/3-540-51803-7_33"},{"key":"21_CR12","unstructured":"A.Sernadas, J.F.Costa, J.L.Fiadeiro and H.-D.Ehrich, \u201cObject Template Institution\u201d, Dagstuhl Workshop on Foundations of Information Systems Specification and Design, March 16\u201319, 1992."},{"key":"21_CR13","unstructured":"A.Sernadas, C.Sernadas and J.F.Costa, \u201cObject Specification Logic\u201d, INESC\/DMIST Research Report, June 1992, submitted."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"A.Tarlecki, R.M.Burstall and J.A.Goguen, \u201cSome Fundamental Algebraic Tools for the Semantics of Computation. Part III: Indexed Categories\u201d, Theoretical Computer Science, 1991, 239\u2013264.","DOI":"10.1016\/0304-3975(91)90085-G"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cSynchronization Trees\u201d, Theoretical Computer Science, 34, 1984.","DOI":"10.1016\/0304-3975(84)90112-9"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cCategories of Models for Concurrency\u201d, in S.D.Brookes et al (eds), Proceedings of the Seminar on Concurrency, Springer-Verlag, 1985, 246\u2013267.","DOI":"10.1007\/3-540-15670-4_12"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cPetri Nets, Algebras, Morphisms and Compositionality\u201d, Information and Computation, March, 1987.","DOI":"10.1016\/0890-5401(87)90032-0"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57867-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:53Z","timestamp":1605647693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57867-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578673","9783540483618"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57867-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}