@article{bloom_reconfiguration_1993,
	title = {Reconfiguration and module replacement in {Argus}: {Theory} and practice},
	volume = {8},
	issn = {0268-6961},
	shorttitle = {Reconfiguration and module replacement in {Argus}},
	abstract = {Early work on reconfiguration of distributed applications was
carried out as part of the Argus project at MIT. The paper reviews that
work, focusing on correctness conditions and on alternative
implementations, and discusses lessons learnt, not only about the
reconfiguration system, but also about language design for supporting
reconfigurable systems},
	number = {2},
	journal = {Software Engineering J.},
	author = {Bloom, T. and Day, M.},
	year = {1993},
	keywords = {Argus project, correctness conditions, distributed applications, distributed processing, high level languages, language design, module replacement, program verification, reconfiguration system},
	pages = {102--108}
}

{"_id":"QN9tWry8ybjFFfq2M","bibbaseid":"bloom-day-reconfigurationandmodulereplacementinargustheoryandpractice-1993","downloads":0,"creationDate":"2016-10-15T13:23:23.656Z","title":"Reconfiguration and module replacement in Argus: Theory and practice","author_short":["Bloom, T.","Day, M."],"year":1993,"bibtype":"article","biburl":"http://bibbase.org/zotero/pentarious","bibdata":{"bibtype":"article","type":"article","title":"Reconfiguration and module replacement in Argus: Theory and practice","volume":"8","issn":"0268-6961","shorttitle":"Reconfiguration and module replacement in Argus","abstract":"Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT. The paper reviews that work, focusing on correctness conditions and on alternative implementations, and discusses lessons learnt, not only about the reconfiguration system, but also about language design for supporting reconfigurable systems","number":"2","journal":"Software Engineering J.","author":[{"propositions":[],"lastnames":["Bloom"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Day"],"firstnames":["M."],"suffixes":[]}],"year":"1993","keywords":"Argus project, correctness conditions, distributed applications, distributed processing, high level languages, language design, module replacement, program verification, reconfiguration system","pages":"102--108","bibtex":"@article{bloom_reconfiguration_1993,\n\ttitle = {Reconfiguration and module replacement in {Argus}: {Theory} and practice},\n\tvolume = {8},\n\tissn = {0268-6961},\n\tshorttitle = {Reconfiguration and module replacement in {Argus}},\n\tabstract = {Early work on reconfiguration of distributed applications was\ncarried out as part of the Argus project at MIT. The paper reviews that\nwork, focusing on correctness conditions and on alternative\nimplementations, and discusses lessons learnt, not only about the\nreconfiguration system, but also about language design for supporting\nreconfigurable systems},\n\tnumber = {2},\n\tjournal = {Software Engineering J.},\n\tauthor = {Bloom, T. and Day, M.},\n\tyear = {1993},\n\tkeywords = {Argus project, correctness conditions, distributed applications, distributed processing, high level languages, language design, module replacement, program verification, reconfiguration system},\n\tpages = {102--108}\n}\n\n","author_short":["Bloom, T.","Day, M."],"key":"bloom_reconfiguration_1993","id":"bloom_reconfiguration_1993","bibbaseid":"bloom-day-reconfigurationandmodulereplacementinargustheoryandpractice-1993","role":"author","urls":{},"keyword":["Argus project","correctness conditions","distributed applications","distributed processing","high level languages","language design","module replacement","program verification","reconfiguration system"],"downloads":0},"search_terms":["reconfiguration","module","replacement","argus","theory","practice","bloom","day"],"keywords":["argus project","correctness conditions","distributed applications","distributed processing","high level languages","language design","module replacement","program verification","reconfiguration system"],"authorIDs":[],"dataSources":["QiRZ7m7shEMvADZkd"]}