A UNITY-Based Formalism for Dynamic Distributed Systems Export

@inproceedings{citeulike:5738957, abstract = {We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and proof of systems where processes may be created and destroyed, and where communication links among processes may change. It also introduces asynchronous messaging as a primitive construct, to facilitate the composition of multiple programs into a larger system.We also present an example Dynamic UNITY system that illustrates the dynamic aspects of the new formalism, and outline a correctness proof for the example.}, address = {Washington, DC, USA}, author = {Zimmerman, Daniel M.}, booktitle = {IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing}, citeulike-article-id = {5738957}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=838661}, isbn = {0-7695-1926-1}, keywords = {dynamic\_distributed\_systems, formalism, unity\_system}, posted-at = {2009-09-08 16:29:52}, priority = {2}, publisher = {IEEE Computer Society}, title = {A UNITY-Based Formalism for Dynamic Distributed Systems}, url = {http://portal.acm.org/citation.cfm?id=838661}, year = {2003} }

TY - CONF ID - citeulike:5738957 L3 - citeulike-article-id:5738957 N2 - We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and proof of systems where processes may be created and destroyed, and where communication links among processes may change. It also introduces asynchronous messaging as a primitive construct, to facilitate the composition of multiple programs into a larger system.We also present an example Dynamic UNITY system that illustrates the dynamic aspects of the new formalism, and outline a correctness proof for the example. SN - 0-7695-1926-1 AD - Washington, DC, USA TI - A UNITY-Based Formalism for Dynamic Distributed Systems PB - IEEE Computer Society T2 - IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing KW - dynamic_distributed_systems KW - formalism KW - unity_system AU - Zimmerman, Daniel PY - 2003/// UR - http://portal.acm.org/citation.cfm?id=838661 ER -