{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:13Z","timestamp":1725663493145},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563792"},{"type":"electronic","value":"9783540475453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56379-2_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:06:10Z","timestamp":1330236370000},"page":"236-253","source":"Crossref","is-referenced-by-count":4,"title":["Process semantics of temporal logic specification"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F.","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","unstructured":"H.Barringer, \u201cThe Use of Temporal Logic in the Compositional Specification of Concurrent Systems\u201d, in A.Galton (ed) Temporal Logics and their Applications, Academic Press 1987"},{"key":"11_CR2","unstructured":"J.-F.Costa and A.Sernadas, \u201cProcess Models within a Categorial Framework\u201d, Research Report, INESC 1990"},{"key":"11_CR3","unstructured":"R.Diaconescu, J.Goguen and P.Stefaneas, Logical Support for Modularisation, Research Report, PRG Oxford University 1991"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"H.-D.Ehrich, J.Goguen and A.Sernadas, \u201cA Categorial Theory of Objects as Observed Processes\u201d, in J.deBakker, W.deRoever and G.Rozenberg (eds) Foundations of Object-Oriented Languages, LNCS 489, Springer Verlag 1991, 203\u2013228","DOI":"10.1007\/BFb0019445"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"J.Fiadeiro and T.Maibaum, \u201cDescribing, Structuring, and Implementing Objects\u201d, in J.deBakker, W.deRoever and G.Rozenberg (eds) Foundations of Object-Oriented Languages, LNCS 489, Springer Verlag 1991, 274\u2013310","DOI":"10.1007\/BFb0019447"},{"key":"11_CR6","unstructured":"J.Fiadeiro and T.Maibaum, \u201cTemporal Theories as Modularisation Units for Concurrent System Specification\u201d, to appear in Formal Aspects of Computing"},{"key":"11_CR7","unstructured":"J.Fiadeiro, J.-F.Costa, A.Sernadas and T.Maibaum, Process Semantics of Temporal Logic Specification \u2014 extended version, INESC Research Report 1991"},{"key":"11_CR8","unstructured":"J.Goguen, A Categorical Manifesto, Technical Report PRG-72, Programming Research Group, University of Oxford, March 1989"},{"key":"11_CR9","unstructured":"J.Goguen, \u201cSheaf Semantics of Concurrent Interacting Objects\u201d, to appear in Mathematical Structures in Computer Science"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J.Goguen and R.Burstall, \u201cIntroducing Institutions\u201d, in E.Clarke and D.Kozen (eds) Logics of Programming Workshop, LNCS 164, Springer-Verlag 1984, 221\u2013256","DOI":"10.1007\/3-540-12896-4_366"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"J.Goguen and S.Ginali, \u201cA Categorical Approach to General Systems Theory\u201d, in G.Klir (ed) Applied General Systems Research, Plenum 1978, 257\u2013270","DOI":"10.1007\/978-1-4757-0555-3_18"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"J.Goguen and J.Meseguer, \u201cUniversal Realisation, Persistence Interconnection and Implementation of Abstract Modules\u201d, in M.Nielsen and E.Schmidt (eds) Proc. 9th International Conference on Automata, Languages and Programming, LNCS 140, Springer Verlag 1982, 265\u2013281","DOI":"10.1007\/BFb0012775"},{"key":"11_CR13","unstructured":"R.Goldblatt, Logics of Time and Computation, Centre for the Study of Language and Information 1987"},{"key":"11_CR14","volume-title":"Proceedings of the 4th Annual ACM Symposium on Principles on Distributed Computing","author":"B Jonsson","year":"1985","unstructured":"BJonsson, \u201cA Model and Proof System for Asynchronous Networks\u201d, in Proceedings of the 4th Annual ACM Symposium on Principles on Distributed Computing, Minaki, Canada, 1985"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Z.Manna and A.Pnueli, \u201cVerification of Concurrent Programs: The Temporal Framework\u201d, in R.Boyer and J.Moore (eds) The Correctness Problem in Computer Science, Academic Press 1981, 215\u2013273","DOI":"10.21236\/ADA106750"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"J.Meseguer, \u201cGeneral Logics\u201d, in H.-D.Ebbinghaus et al (eds) Logic Colloquium 87, North-Holland 1989","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"11_CR17","volume-title":"INRIA Advanced Nato Study Institute on Logics and Models for Verification and Specification of Concurrent Systems","author":"J. Misra","year":"1984","unstructured":"J.Misra, \u201cReasoning about Networks of Communicating Processes\u201d, in INRIA Advanced Nato Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, Nice, France, Reidel 1984"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"E.-R.Olderog, Nets Terms and Formulas, Cambridge Tracts in Theoretical Computer Science 23, Cambridge University Press 1991","DOI":"10.1017\/CBO9780511526589"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"A.Pnueli, \u201cThe Temporal Logic of Programs\u201d, in Proc 18th Annual Symposium on Foundations of Computer Science, IEEE 1977, 45\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"D.Sannella and A.Tarlecki, \u201cBuilding Specifications in an Arbitrary Institution\u201d, in Proc. Int. Sym on the Semantics of Data Types, LNCS 173, Springer Verlag 1985. Extended version in Information and Control 76, 1988, 165\u2013210","DOI":"10.1016\/0890-5401(88)90008-9"},{"key":"11_CR21","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"},{"issue":"1","key":"11_CR22","first-page":"7","volume":"1","author":"A. Sernadas","year":"1990","unstructured":"A.Sernadas, H.-D.Ehrich and J.-F.Costa, \u201cFrom Processes to Objects\u201d, The INESC Journal of Research and Development 1(1) 1990, 7\u201327","journal-title":"The INESC Journal of Research and Development"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"G.Winskel, \u201cSynchronisation Trees\u201d, Theoretical Computer Science 34, 1984","DOI":"10.1016\/0304-3975(84)90112-9"}],"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-56379-2_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:30Z","timestamp":1605629010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56379-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563792","9783540475453"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-56379-2_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}