{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214159},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_25","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"339-354","source":"Crossref","is-referenced-by-count":9,"title":["A Modal Logic for Klaim"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"issue":"10","key":"25_CR1","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Nicholas Carriero and David Gelernter. Linda in Context. Communications of the ACM, 32(10):444\u2013458, October 1989. Technical Correspondence.","journal-title":"Communications of the ACM"},{"issue":"8","key":"25_CR2","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/BF00264284","volume":"27","author":"R. Cleaveland","year":"1990","unstructured":"Rance Cleaveland. Tableau-based model checking in the propositional \u03bc-calculus. Acta Informatica, 27(8):725\u2013747, September 1990.","journal-title":"Acta Informatica"},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative communication in linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"25_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"Proceedings, PARLE\u2019 89","author":"D. Gelernter","year":"1989","unstructured":"D. Gelernter. Multiple tuple spaces in linda. In J. Hartmanis G. Goos, editor, Proceedings, PARLE\u2019 89, volume 365 of LNCS, pages 20\u201327, 1989."},{"issue":"1","key":"25_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137\u2013161, January 1985.","journal-title":"Journal of the ACM"},{"unstructured":"R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989. SU Fisher Research 511\/24.","key":"25_CR6"},{"issue":"5","key":"25_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"Rocco De Nicola, Gian Luigi Ferrari, and Rosario Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315\u2013330, May 1998. Special issue: Mobility and Network Aware Computing.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Rocco De Nicola and Michele Loreti. A logic for klaim (full paper). Avaiable at \n                      ftp:\/\/rap.dsi.unifi.it\/papers\/fullMLK.ps\n                      \n                    .","key":"25_CR8"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T17:14:43Z","timestamp":1548350083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}