{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:39Z","timestamp":1748071599100,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582410"},{"type":"electronic","value":"9783540485858"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0013980","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"48-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Sometimes \u201cTomorrow\u201d is \u201cSometime\u201d"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"L.Aceto and M.Hennessy, \u201cTowards Action Refinement in Process Algebras\u201d, in Proc. 4th LICS, IEEE 1989, 138\u2013145","key":"4_CR1","DOI":"10.1109\/LICS.1989.39168"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. Back","year":"1988","unstructured":"R.Back and R.Kurki-Suonio, \u201cDistributed Cooperation with Action Systems\u201d, ACM TOPLAS 10, 1988, 513\u2013554","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"H.Barringer and R.Kuiper, \u201cHierarchical Development of Concurrent Systems in a Temporal Framework\u201d, in S.Brookes, A.Roscoe and G.Winskel (eds) Seminar on Concurrency, LNCS 197, Springer-Verlag 1984, 35\u201361","key":"4_CR3","DOI":"10.1007\/3-540-15670-4_2"},{"doi-asserted-by":"crossref","unstructured":"H.Barringer, R.Kuiper and A.Pnueli, \u201cA Really Abstract Concurrent Model and its Temporal Logic\u201d, in Proc. 13th ACM Symposium on Principles of Programming Languages, ACM 1986, 173\u2013183","key":"4_CR4","DOI":"10.1145\/512644.512660"},{"unstructured":"G.Boudol, Atomic Actions, Research Notes, INRIA Sophia Antipolis, 1991","key":"4_CR5"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani, \u201cConcurrency and Atomicity\u201d, Theoretical Computer Science 59, 1988, 25\u201384","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"K.M.Chandy and J.Misra, Parallel Program Design \u2014 A Foundation, Addison Wesley 1988","key":"4_CR7","DOI":"10.1007\/978-1-4613-9668-0_6"},{"unstructured":"J.F.Costa, A.Sernadas and C.Sernadas, Inductive Objects, Research Report, DMIST\/INESC July 1992","key":"4_CR8"},{"doi-asserted-by":"crossref","unstructured":"H.-D.Ehrich and A.Sernadas, \u201cAlgebraic Implementation of Objects over Objects\u201d, in Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, J. de Bakker, W.-P. de Roever and G. Rozenberg (eds), Springer Verlag, 1990, 239\u2013266.","key":"4_CR9","DOI":"10.1007\/3-540-52559-9_67"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J.Fiadeiro and T.Maibaum, \u201cTemporal Theories as Modularisation Units for Concurrent System Specification\u201d, Formal Aspects of Computing 4(3), 1992, 239\u2013272","journal-title":"Formal Aspects of Computing"},{"unstructured":"J.Fiadeiro and T.Maibaum, Verifying for Reuse, Technical Report,FCUL, 1993","key":"4_CR11"},{"unstructured":"C.Jones, An Object-Based Design Method for Concurrent Programs, Technical Report, University of Manchester, 1992","key":"4_CR12"},{"doi-asserted-by":"crossref","unstructured":"L. Lamport, \u201cSpecifying Concurrent Program Modules\u201d, ACM TOPLAS 6(2), 1983","key":"4_CR13","DOI":"10.1145\/2993.2994"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L. Lamport","year":"1989","unstructured":"L.Lamport, \u201cA Simple Approach to Specifying Concurrent Systems\u201d, Communications ACM 32(1), 1989,32\u201345","journal-title":"Communications ACM"},{"doi-asserted-by":"crossref","unstructured":"C.Sernadas, P.Gouveia, J.Gouveia, A.Sernadas and P.Resende, \u201cThe Reification Dimension in Object-oriented Data Base Design\u201d, in Specification of Data Base Systems, D. Harper and M. Norrie (eds), Springer Verlag, 1992, 275\u2013299","key":"4_CR15","DOI":"10.1007\/978-1-4471-3864-8_15"},{"key":"4_CR16","first-page":"228","volume-title":"Program Development and Theory Manipulation","author":"P. Veloso","year":"1985","unstructured":"P.Veloso, T.Maibaum and M.Sadler, \u201cProgram Development and Theory Manipulation\u201d, Proc. Third International Workshop on Software Specification and Design, London, IEEE Computer Society Press 1985, 228\u2013232."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:38:17Z","timestamp":1736113097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013980"}},"subtitle":["Action refinement in a temporal logic of objects"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582410","9783540485858"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0013980","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}