{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:40Z","timestamp":1725467440209},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_76","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"115-130","source":"Crossref","is-referenced-by-count":1,"title":["Coordinating durative actions"],"prefix":"10.1007","author":[{"given":"I.","family":"Nunes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.L.","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.M.","family":"Turski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"issue":"1","key":"8_CR1","first-page":"55","volume":"ACM16","author":"J.P. Ban\u00e2tre","year":"1993","unstructured":"J.P.Ban\u00e2tre and D.LeM\u00e9tayer, \u201cProgramming by Multiset Transformation\u201d, Communications ACM16, 1 pp. 55\u201377, 1993.","journal-title":"Communications"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"P.Ciancarini, C.Hankin, \u201cCoordination Languages and Models\u201d, LNCS 1061, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61052-9"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"J.L.Fiadeiro and A.Lopes, \u201cSemantics of Architectural Connectors\u201d, Theory and Practice of Software Development, M.Bidoit and M.Dauchet (eds), LNCS 1214, pp. 505\u2013519, Springer-Verlag, 1997.","DOI":"10.1007\/BFb0030622"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D.Gelernter, \u201cGenerative Communication in Linda\u201d, ACM Trans. Prog. Lang. Syst. 7, 1, pp. 80\u2013112, 1985.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"2","key":"8_CR5","first-page":"97","volume":"ACM 35","author":"D. Gelernter","year":"1992","unstructured":"D.Gelernter, N.Carriero, \u201cCoordination Languages and their Significance\u201d, Communications ACM 35, 2, pp. 97\u2013107, 1992.","journal-title":"Communications"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Z.Manna, A.Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"8_CR7","unstructured":"I.Nunes, J.L.Fiadeiro and W.M.Turski, \u201cA Modal Logic of Durative Actions\u201d, in ICTL97, Kluwer, in print, 1997."},{"key":"8_CR8","unstructured":"I.Nunes, J.L.Fiadeiro and W.M.Turski, \u201cSemantics of Behavioural Programs\u201d, Research Report, Department of Informatics, Faculty of Sciences, University of Lisbon, December 1996."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"A.Porto, V.Vasconcelos, \u201cTruth and Action Osmosis (the TAO Computational Model)\u201d, in J.M.Andreoli, C.Hankin and D.LeMetayer (eds), Coordination Programming, mechanisms, models and semantics, pp. 65\u201397, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0003"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"C.Stirling, \u201cModal and Temporal Logics\u201d, in S.Abramsky, D.Gabbay and T.Maibaum (eds), Handbook of Logic in Computer Science 2, pp. 477\u2013563, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/BF00264282","volume":"27","author":"W.M. Turski","year":"1990","unstructured":"W.M.Turski, \u201cOn Specification of Multiprocessor Computing\u201d, Acta Informatica 27, pp. 685\u2013696, 1990.","journal-title":"Acta Informatica"},{"key":"8_CR12","first-page":"1","volume":"13","author":"W.M. Turski","year":"1992","unstructured":"W.M.Turski, \u201cExtending the Computing Paradigm\u201d, Structured Programming 13, pp. 1\u20139, 1992.","journal-title":"Structured Programming"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_76","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T10:09:22Z","timestamp":1707127762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}