{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:12:38Z","timestamp":1725516758012},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705840"},{"type":"electronic","value":"9783540705857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70585-7_2","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"11-20","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment"],"prefix":"10.1007","author":[{"given":"Jingyu","family":"Nam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunwoo","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongmin","family":"Shin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaeil","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"39","volume-title":"2006 ACS\/IEEE International Conference on Pervasive Services","author":"H. Kim","year":"2006","unstructured":"Kim, H., Shim, Y., Choi, D., Kim, S., Cho, W.: Community Manager: A Dynamic Collaboration Solution on Heterogeneous Environment. In: 2006 ACS\/IEEE International Conference on Pervasive Services, Lyon, France, pp. 39\u201346. IEEE Press, Los Alamitos (2006)"},{"key":"2_CR2","unstructured":"Shim, Y., Kim, H., Kim, M., Cho, W.: A Ubiquitous System Architecture Based on the Community Computing Model. In: 2006 International Conference on Hybrid Information Technology, Cheju, Korea (2006)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Jung, Y., Lee, J., Kim, M.: Multi-agent based community computing system development with the model driven architecture. In: Proceedings of the fifth international joint conference on Autonomous agents and multiagent, Hakodate, Japan, pp. 1329\u20131331 (2006)","DOI":"10.1145\/1160633.1160880"},{"key":"2_CR4","unstructured":"Jung, Y., Lee, J., Kim, M.: Community based Ubiquitous System Development in Multi-agent Environment. In: CAiSE 2006 Workshop Ubiquitous Mobile Information and Collaboration Systems(UMICS 2006), Luxembourg, Grand-Ducy of Luxembourg (2006)"},{"key":"2_CR5","volume-title":"Introduction to Automata Theory, Languages, and Computataion","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computataion, 2nd edn. Addison-Wesley, New York (2001)","edition":"2"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/S0278-6125(02)90011-7","volume":"21","author":"I. Castillo","year":"2002","unstructured":"Castillo, I., Smith, J.S.: Formal Modeling Methodologies for Control of Manufacturing Cells: survey and comparison. Journal of Manufacturing Systems\u00a021(1), 40\u201357 (2002)","journal-title":"Journal of Manufacturing Systems"}],"container-title":["Lecture Notes in Computer Science","Computer-Human Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70585-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:23:42Z","timestamp":1620001422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70585-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705840","9783540705857"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70585-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}