๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling

โœ Scribed by Chao Cai; Zong-Yan Qiu; Hong-Li Yang; Xiang-Peng Zhao


Publisher
Springer
Year
2009
Tongue
English
Weight
457 KB
Volume
24
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Using announce-listen with global events
โœ Chandy, K. Mani; Rifkin, Adam; Schooler, Eve ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 59 KB ๐Ÿ‘ 1 views

We specify an abstract model for dynamic distributed control systems in which the component objects make local decisions based on system-wide constraints and approximate global state. We focus on the issue of distributed resource management, exploring a solution that is both compositional and scalab