{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:39:36Z","timestamp":1649176776546},"reference-count":15,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1016\/0950-5849(94)90070-1","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T11:40:25Z","timestamp":1062589225000},"page":"465-470","source":"Crossref","is-referenced-by-count":0,"title":["Neutral debugging using grafts"],"prefix":"10.1016","volume":"36","author":[{"given":"Serge","family":"Chaumette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(94)90070-1_BIB1","series-title":"Parallel computers","author":"Hockney","year":"1981"},{"issue":"No 3","key":"10.1016\/0950-5849(94)90070-1_BIB2","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/72551.72552","article-title":"Programming languages for distributed computing systems","volume":"Vol 21","author":"Bal","year":"1989","journal-title":"ACM Comput. Surv."},{"issue":"No 8","key":"10.1016\/0950-5849(94)90070-1_BIB3","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"Vol 21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)90070-1_BIB4","article-title":"A calculus of communicating systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0950-5849(94)90070-1_BIB5","article-title":"A communicating process architecture: transputers and Occam","volume":"272","author":"May","year":"1987"},{"key":"10.1016\/0950-5849(94)90070-1_BIB6","series-title":"The Helios operating system","year":"1990"},{"key":"10.1016\/0950-5849(94)90070-1_BIB7","series-title":"T.node, overview","year":"1990"},{"key":"10.1016\/0950-5849(94)90070-1_BIB8","series-title":"The CDL Guide (Helios)","year":"1990"},{"issue":"No 8","key":"10.1016\/0950-5849(94)90070-1_BIB9","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","article-title":"Guarded commands, nondeterminacy and formal derivation of programs","volume":"Vol 18","author":"Dijkstra","year":"1975","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)90070-1_BIB10","first-page":"1032","article-title":"A programming environment for distributed memory computers \u2014 application to scientific computing","volume":"Vol 3","author":"Charrier","year":"1991"},{"key":"10.1016\/0950-5849(94)90070-1_BIB11","first-page":"257","article-title":"A software environment for programming distributed memory machines","volume":"Vol 1","author":"Chaumette","year":"1992"},{"key":"10.1016\/0950-5849(94)90070-1_BIB12","series-title":"Actes des 3i\u00e8mes Rencontres sur les Algorithmes & Architectures Massivement Parall\u00e8les","article-title":"Un environnement de simulation et de mise au point pour la classe des machines parall\u00e8les \u00e0 m\u00e9moire distribu\u00e9e","author":"Chaumette","year":"1992"},{"key":"10.1016\/0950-5849(94)90070-1_BIB13","series-title":"Proc. Second European Distributed Memory Computing Conference","first-page":"110","article-title":"A development environment for distributed systems","volume":"Volume 487","author":"Chaumette","year":"1991"},{"key":"10.1016\/0950-5849(94)90070-1_BIB14","article-title":"Outils de d\u00e9veloppement et de mise au point pour la classe des machines parall\u00e8les \u00e0 m\u00e9moire distribu\u00e9e","author":"Chaumette","year":"1992"},{"key":"10.1016\/0950-5849(94)90070-1_BIB15","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","article-title":"Alg\u00e8bre de processus et synchronisation","volume":"Vol 30","author":"Austry","year":"1984","journal-title":"Theoret. Comput. Sci."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994900701?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994900701?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T06:58:15Z","timestamp":1551077895000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584994900701"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":15,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["0950584994900701"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(94)90070-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}