{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:40:11Z","timestamp":1725734411939},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ccgrid.2002.1017128","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:04:13Z","timestamp":1056578653000},"page":"202-202","source":"Crossref","is-referenced-by-count":8,"title":["A Formal Framework for Defining Grid Systems"],"prefix":"10.1109","author":[{"given":"Z.N.","family":"Nemeth","sequence":"first","affiliation":[]},{"given":"V.","family":"Sunderam","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Grimshaw: Accountabilit y and control of process creation in the legion metasystem","author":"humprey","year":"2000","journal-title":"Proc of the 2000 Netw Ork and Distributed System Security Symposium NDSS2000"},{"journal-title":"Holcomb Metacomputing","year":"0","author":"lindahl","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1142\/9789812794499_0021","article-title":"Evolving algebras: An attempt to discover semantics","author":"gurevich","year":"1993","journal-title":"Current T Rends in Theoretical Computer Science"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8191(96)00024-5"},{"key":"14","first-page":"9","article-title":"Evolving algebras 1993: Lipari guide","author":"gurevich","year":"1995","journal-title":"Specification and v AldationMethods"},{"journal-title":"Legion The Next Logical Step T Ow Ard A Nationwide Virtual Computer","year":"1994","author":"grimshaw","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HPDC.1996.546177"},{"key":"3","article-title":"Grimshaw: The legion resource management system","author":"chapin","year":"1999","journal-title":"Proc of the 5th Workshop on Job Scheduling Strategies for P Arallel Processing (JSSPP '99) in Conjunction Witthhe International Parallel and Distributed Processing Symposium (IPDPS '99)"},{"key":"2","article-title":"ModellingAnalysis of Distributed Reactive Systems using Evolving Algebras","author":"borger","year":"1995","journal-title":"Evolving Algebras Mini-Course"},{"key":"1","first-page":"1","article-title":"Orger: High lev el system design and analysis using abstract state machines","author":"borger","year":"1999","journal-title":"Current Trends in Applied Formal Methods (FMT Rends 98) LNCS 1641"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","author":"geist","year":"1994","journal-title":"Sunderam PVM Parallel Virtual Machine-A User's Guide and Tutorial for Network Parallel Computing"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2001.923162"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/288090.288111"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/HPDC.2001.945188"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053981","article-title":"Tuec ke: A resource management architecture for metacomputing systems","author":"czajkowski","year":"1998","journal-title":"Proc IPPS\/SPDP '98 Workshop on Job Scheduling Strategies for P Arallel Processing"},{"key":"9","first-page":"259","author":"foster","year":"0","journal-title":"Kesselman The Globus Toolkit"},{"journal-title":"Kesselman The Grid Blueprint for a New Computing Infrastructure","year":"1999","author":"foster","key":"8"}],"event":{"name":"2nd IEEE\/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02)","location":"Berlin, Germany"},"container-title":["2nd IEEE\/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10335\/32898\/01540457.pdf?arnumber=1540457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T23:12:34Z","timestamp":1585005154000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1540457\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccgrid.2002.1017128","relation":{},"subject":[]}}