{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:13:17Z","timestamp":1725675197462},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293191"},{"type":"electronic","value":"9783642293207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29320-7_13","type":"book-chapter","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T04:45:30Z","timestamp":1334637930000},"page":"190-205","source":"Crossref","is-referenced-by-count":10,"title":["A Distributed Logic for Networked Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Minyoung","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark-Oliver","family":"Stehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.: Meld: A declarative approach to programming ensembles. In: Proc. of the IEEE International Conference on Intelligent Robots and Systems (IROS 2007) (October 2007)","DOI":"10.1109\/IROS.2007.4399480"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Basu, P., Krishnan, R., Brown, D.W.: Persistent delivery with deferred binding to descriptively named destinations. In: Proc. of IEEE MILCOM (2008)","DOI":"10.1109\/MILCOM.2008.4753335"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Chu, D., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: SenSys 2007: Proc. of the 5th International Conference on Embedded Networked Sensor Systems, pp. 175\u2013188 (2007)","DOI":"10.1145\/1322263.1322281"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-88737-9_11","volume-title":"Web Reasoning and Rule Systems","author":"D. Elenius","year":"2008","unstructured":"Elenius, D., Denker, G., Stehr, M.-O.: A Semantic Web Reasoner for Rules, Equations and Constraints. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 135\u2013149. Springer, Heidelberg (2008)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1984","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037, 549\u2013587 (1984)","journal-title":"Journal of the ACM"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.-O., Kim, J., Ha, S.: An application framework for loosely coupled networked cyber-physical systems. In: 8th IEEE Intl. Conf. on Embedded and Ubiquitous Computing, EUC 2010 (2010)","DOI":"10.1109\/EUC.2010.30"},{"key":"13_CR8","unstructured":"Kim, M., Stehr, M.-O., Talcott, C.: A distributed logic for networked cyber-physical systems (extended version) (in preparation)"},{"issue":"11","key":"13_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"B.T. Loo","year":"2009","unstructured":"Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., Hellerstein, J.M., Maniatis, P., Ramakrishnan, R., Roscoe, T., Stoica, I.: Declarative networking. Commun. ACM\u00a052(11), 87\u201395 (2009)","journal-title":"Commun. ACM"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-642-16355-5_32","volume-title":"Ubiquitous Intelligence and Computing","author":"M.-O. Stehr","year":"2010","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.L.: Toward Distributed Declarative Control of Networked Cyber-Physical Systems. In: Yu, Z., Liscano, R., Chen, G., Zhang, D., Zhou, X. (eds.) UIC 2010. LNCS, vol.\u00a06406, pp. 397\u2013413. Springer, Heidelberg (2010)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Stehr, M.-O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: Proc. of IEEE MILCOM (2008)","DOI":"10.1109\/MILCOM.2008.4753336"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11669463_4","volume-title":"Wireless Sensor Networks","author":"K. Whitehouse","year":"2006","unstructured":"Whitehouse, K., Zhao, F., Liu, J.: Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data. In: R\u00f6mer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol.\u00a03868, pp. 5\u201320. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29320-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:35:05Z","timestamp":1620128105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29320-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293191","9783642293207"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29320-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}