{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:32Z","timestamp":1725487112505},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729853"},{"type":"electronic","value":"9783540729860"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72986-0_26","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T00:54:10Z","timestamp":1183683250000},"page":"204-207","source":"Crossref","is-referenced-by-count":0,"title":["Understanding Promise Theory Using Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Kyrre","family":"Begnum","sequence":"first","affiliation":[]},{"given":"Mark","family":"Burgess","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Burgess, M., Fagernes, S.: Pervasive Computer Management: A Smart Mall Scenario Using Promise Theory. In: Proceedings of MACE, Multicon Lecture Notes, p. 133 (2006)","key":"26_CR1"},{"key":"26_CR2","volume-title":"ICAS\u201906 - SELF workshop - Self-adaptability and self-management of context-aware systems","author":"K. Begnum","year":"2006","unstructured":"Begnum, K., Burgess, M., Sechrest, J.: Adaptive provisioning using virtual machines and autonomous role-based management. In: ICAS\u201906 - SELF workshop - Self-adaptability and self-management of context-aware systems, IEEE, Los Alamitos (2006)"},{"unstructured":"The Maude Homepage, \n                    \n                      http:\/\/maude.cs.uiuc.edu\/","key":"26_CR3"},{"key":"26_CR4","series-title":"Lecure Notes in Computer Science","volume-title":"Fundamental Approaches to software Engineering (FASE)","author":"P.C. \u00d6lveczky","year":"2004","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification and Analysis of Real-Time Systems Using Real-Time Maude. In: Fundamental Approaches to software Engineering (FASE). Lecure Notes in Computer Science, vol.\u00a02984, Springer, Heidelberg (2004)"},{"key":"26_CR5","first-page":"19","volume-title":"WRLA 2002","author":"F. Dur\u00e1n","year":"2002","unstructured":"Dur\u00e1n, F., Verdejo, A.: A Conference Reviewing System in Mobile Maude. In: WRLA 2002. Proceedings Fourth International Workshop on Rewriting Logic and its Applications, Pisa, Italy, pp. 19\u201321. Elsevier, North-Holland, Amsterdam (2002)"},{"unstructured":"Burgess, M., Begnum, K.: Voluntary cooperation in pervasive computing services. In: Proceedings of the Nineteenth Systems Administration Conference (LISA XIX) (USENIX Association: Berkeley, CA), p. 143 (2005)","key":"26_CR6"}],"container-title":["Lecture Notes in Computer Science","Inter-Domain Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72986-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:09:15Z","timestamp":1605744555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72986-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729853","9783540729860"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72986-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}