{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T04:36:50Z","timestamp":1648528610832},"reference-count":17,"publisher":"International Academy Publishing (IAP)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.12.3088-3095","type":"journal-article","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T15:58:08Z","timestamp":1387555088000},"source":"Crossref","is-referenced-by-count":0,"title":["Formalization of Distributed and Dynamic Resources Allocation Using Category Theory"],"prefix":"10.17706","volume":"8","author":[{"given":"Zhen","family":"You","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qimin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2013,12,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49823-0_15"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.7.1287-1296"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1780.1804"},{"key":"ref4","first-page":"479","article-title":"Igarashi, et al: \"Dynamic Resource Allocation and Power Management in Virtualized Data Centers","volume-title":"Network Operations and Management Symposium (NOMS)","author":"Urgaonkar","year":"2010","unstructured":"[7] Urgaonkar R., Kozat U.C., Igarashi, et al: \"Dynamic Resource Allocation and Power Management in Virtualized Data Centers\". In: Network Operations and Management Symposium (NOMS), 2010 IEEE, 2010, pp.479-486"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1040.0166"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01752392"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90134-8"},{"key":"ref9","article-title":"Reynolds: \"Using Category Theory to Design Programming Languages","volume-title":"ESOP 2009 LNCS 5502","author":"John","year":"2009","unstructured":"[15] John C. Reynolds: \"Using Category Theory to Design Programming Languages\". In: ESOP 2009, LNCS 5502, Springer-Verlag, Berlin Heidelberg, 2009"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008688122154"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00025-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526619.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.024"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1991.218286"},{"key":"ref16","article-title":"Parallel Program Design: A Foundation","volume-title":"In","author":"Chandy","year":"1988","unstructured":"[27] K.M. Chandy and J. Misra: \"Parallel Program Design: A Foundation\". In: Addison-Wesley, 1988"},{"key":"ref17","volume-title":"Pierce \"Basic Category Theory for Computer Scientists","author":"Benjamin","year":"1991","unstructured":"[31] Benjamin C. Pierce. \"Basic Category Theory for Computer Scientists\". In: The MIT Press, Cambridege, MA, 1991"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:24:20Z","timestamp":1442330660000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,1]]},"references-count":17,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2013,12,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.12.3088-3095","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,12,1]]}}}