div class=ts-pagebutton class=gotoPage data-page=1Page 1button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=1 data-page=1 class=ts-thumb lazyload alt=Page 1: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails1jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=2Page 2button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=2 data-page=2 class=ts-thumb lazyload alt=Page 2: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails2jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=3Page 3button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=3 data-page=3 class=ts-thumb lazyload alt=Page 3: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails3jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=4Page 4button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=4 data-page=4 class=ts-thumb lazyload alt=Page 4: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails4jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=5Page 5button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=5 data-page=5 class=ts-thumb lazyload alt=Page 5: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails5jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=6Page 6button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=6 data-page=6 class=ts-thumb lazyload alt=Page 6: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails6jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=7Page 7button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=7 data-page=7 class=ts-thumb lazyload alt=Page 7: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails7jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=8Page 8button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=8 data-page=8 class=ts-thumb lazyload alt=Page 8: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails8jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=9Page 9button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=9 data-page=9 class=ts-thumb lazyload alt=Page 9: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails9jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=10Page 10button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=10 data-page=10 class=ts-thumb lazyload alt=Page 10: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails10jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=11Page 11button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=11 data-page=11 class=ts-thumb lazyload alt=Page 11: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails11jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=12Page 12button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=12 data-page=12 class=ts-thumb lazyload alt=Page 12: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails12jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=13Page 13button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=13 data-page=13 class=ts-thumb lazyload alt=Page 13: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails13jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=14Page 14button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=14 data-page=14 class=ts-thumb lazyload alt=Page 14: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails14jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=15Page 15button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=15 data-page=15 class=ts-thumb lazyload alt=Page 15: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails15jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=16Page 16button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=16 data-page=16 class=ts-thumb lazyload alt=Page 16: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails16jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=17Page 17button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=17 data-page=17 class=ts-thumb lazyload alt=Page 17: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails17jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=18Page 18button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=18 data-page=18 class=ts-thumb lazyload alt=Page 18: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails18jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=19Page 19button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=19 data-page=19 class=ts-thumb lazyload alt=Page 19: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails19jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=20Page 20button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=20 data-page=20 class=ts-thumb lazyload alt=Page 20: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails20jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=21Page 21button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=21 data-page=21 class=ts-thumb lazyload alt=Page 21: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails21jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=22Page 22button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=22 data-page=22 class=ts-thumb lazyload alt=Page 22: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails22jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=23Page 23button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=23 data-page=23 class=ts-thumb lazyload alt=Page 23: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails23jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=24Page 24button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=24 data-page=24 class=ts-thumb lazyload alt=Page 24: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails24jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=25Page 25button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=25 data-page=25 class=ts-thumb lazyload alt=Page 25: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails25jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=26Page 26button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=26 data-page=26 class=ts-thumb lazyload alt=Page 26: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails26jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=27Page 27button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=27 data-page=27 class=ts-thumb lazyload alt=Page 27: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails27jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=28Page 28button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=28 data-page=28 class=ts-thumb lazyload alt=Page 28: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails28jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=29Page 29button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=29 data-page=29 class=ts-thumb lazyload alt=Page 29: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails29jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=30Page 30button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=30 data-page=30 class=ts-thumb lazyload alt=Page 30: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails30jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=31Page 31button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=31 data-page=31 class=ts-thumb lazyload alt=Page 31: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails31jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=32Page 32button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=32 data-page=32 class=ts-thumb lazyload alt=Page 32: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails32jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=33Page 33button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=33 data-page=33 class=ts-thumb lazyload alt=Page 33: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails33jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=34Page 34button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=34 data-page=34 class=ts-thumb lazyload alt=Page 34: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails34jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=35Page 35button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=35 data-page=35 class=ts-thumb lazyload alt=Page 35: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails35jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=36Page 36button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=36 data-page=36 class=ts-thumb lazyload alt=Page 36: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails36jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=37Page 37button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=37 data-page=37 class=ts-thumb lazyload alt=Page 37: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails37jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=38Page 38button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=38 data-page=38 class=ts-thumb lazyload alt=Page 38: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails38jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=39Page 39button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=39 data-page=39 class=ts-thumb lazyload alt=Page 39: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails39jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=40Page 40button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=40 data-page=40 class=ts-thumb lazyload alt=Page 40: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails40jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=41Page 41button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=41 data-page=41 class=ts-thumb lazyload alt=Page 41: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails41jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=42Page 42button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=42 data-page=42 class=ts-thumb lazyload alt=Page 42: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails42jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=43Page 43button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=43 data-page=43 class=ts-thumb lazyload alt=Page 43: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails43jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=44Page 44button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=44 data-page=44 class=ts-thumb lazyload alt=Page 44: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails44jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=45Page 45button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=45 data-page=45 class=ts-thumb lazyload alt=Page 45: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails45jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=46Page 46button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=46 data-page=46 class=ts-thumb lazyload alt=Page 46: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails46jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=47Page 47button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=47 data-page=47 class=ts-thumb lazyload alt=Page 47: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails47jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=48Page 48button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=48 data-page=48 class=ts-thumb lazyload alt=Page 48: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails48jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=49Page 49button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=49 data-page=49 class=ts-thumb lazyload alt=Page 49: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails49jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=50Page 50button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=50 data-page=50 class=ts-thumb lazyload alt=Page 50: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails50jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=51Page 51button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=51 data-page=51 class=ts-thumb lazyload alt=Page 51: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails51jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=52Page 52button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=52 data-page=52 class=ts-thumb lazyload alt=Page 52: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails52jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=53Page 53button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=53 data-page=53 class=ts-thumb lazyload alt=Page 53: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails53jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=54Page 54button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=54 data-page=54 class=ts-thumb lazyload alt=Page 54: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails54jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=55Page 55button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=55 data-page=55 class=ts-thumb lazyload alt=Page 55: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails55jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=56Page 56button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=56 data-page=56 class=ts-thumb lazyload alt=Page 56: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails56jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=57Page 57button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=57 data-page=57 class=ts-thumb lazyload alt=Page 57: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails57jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=58Page 58button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=58 data-page=58 class=ts-thumb lazyload alt=Page 58: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails58jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=59Page 59button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=59 data-page=59 class=ts-thumb lazyload alt=Page 59: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails59jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=60Page 60button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=60 data-page=60 class=ts-thumb lazyload alt=Page 60: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails60jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=61Page 61button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=61 data-page=61 class=ts-thumb lazyload alt=Page 61: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails61jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=62Page 62button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=62 data-page=62 class=ts-thumb lazyload alt=Page 62: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails62jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=63Page 63button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=63 data-page=63 class=ts-thumb lazyload alt=Page 63: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails63jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=64Page 64button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=64 data-page=64 class=ts-thumb lazyload alt=Page 64: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails64jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=65Page 65button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=65 data-page=65 class=ts-thumb lazyload alt=Page 65: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails65jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=66Page 66button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=66 data-page=66 class=ts-thumb lazyload alt=Page 66: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails66jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=67Page 67button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=67 data-page=67 class=ts-thumb lazyload alt=Page 67: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails67jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=68Page 68button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=68 data-page=68 class=ts-thumb lazyload alt=Page 68: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails68jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=69Page 69button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=69 data-page=69 class=ts-thumb lazyload alt=Page 69: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails69jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=70Page 70button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=70 data-page=70 class=ts-thumb lazyload alt=Page 70: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails70jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=71Page 71button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=71 data-page=71 class=ts-thumb lazyload alt=Page 71: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails71jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=72Page 72button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=72 data-page=72 class=ts-thumb lazyload alt=Page 72: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails72jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=73Page 73button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=73 data-page=73 class=ts-thumb lazyload alt=Page 73: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails73jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=74Page 74button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=74 data-page=74 class=ts-thumb lazyload alt=Page 74: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails74jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=75Page 75button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=75 data-page=75 class=ts-thumb lazyload alt=Page 75: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails75jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=76Page 76button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=76 data-page=76 class=ts-thumb lazyload alt=Page 76: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails76jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=77Page 77button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=77 data-page=77 class=ts-thumb lazyload alt=Page 77: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails77jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=78Page 78button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=78 data-page=78 class=ts-thumb lazyload alt=Page 78: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails78jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=79Page 79button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=79 data-page=79 class=ts-thumb lazyload alt=Page 79: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails79jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=80Page 80button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=80 data-page=80 class=ts-thumb lazyload alt=Page 80: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails80jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=81Page 81button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=81 data-page=81 class=ts-thumb lazyload alt=Page 81: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails81jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=82Page 82button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=82 data-page=82 class=ts-thumb lazyload alt=Page 82: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails82jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=83Page 83button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=83 data-page=83 class=ts-thumb lazyload alt=Page 83: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails83jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=84Page 84button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=84 data-page=84 class=ts-thumb lazyload alt=Page 84: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails84jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=85Page 85button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=85 data-page=85 class=ts-thumb lazyload alt=Page 85: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails85jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=86Page 86button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=86 data-page=86 class=ts-thumb lazyload alt=Page 86: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails86jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=87Page 87button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=87 data-page=87 class=ts-thumb lazyload alt=Page 87: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails87jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=88Page 88button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=88 data-page=88 class=ts-thumb lazyload alt=Page 88: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails88jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=89Page 89button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=89 data-page=89 class=ts-thumb lazyload alt=Page 89: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails89jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=90Page 90button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=90 data-page=90 class=ts-thumb lazyload alt=Page 90: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails90jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=91Page 91button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=91 data-page=91 class=ts-thumb lazyload alt=Page 91: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails91jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=92Page 92button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=92 data-page=92 class=ts-thumb lazyload alt=Page 92: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails92jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=93Page 93button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=93 data-page=93 class=ts-thumb lazyload alt=Page 93: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails93jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=94Page 94button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=94 data-page=94 class=ts-thumb lazyload alt=Page 94: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails94jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=95Page 95button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=95 data-page=95 class=ts-thumb lazyload alt=Page 95: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails95jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=96Page 96button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=96 data-page=96 class=ts-thumb lazyload alt=Page 96: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails96jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=97Page 97button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=97 data-page=97 class=ts-thumb lazyload alt=Page 97: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails97jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=98Page 98button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=98 data-page=98 class=ts-thumb lazyload alt=Page 98: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails98jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=99Page 99button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=99 data-page=99 class=ts-thumb lazyload alt=Page 99: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails99jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=100Page 100button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=100 data-page=100 class=ts-thumb lazyload alt=Page 100: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails100jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=101Page 101button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=101 data-page=101 class=ts-thumb lazyload alt=Page 101: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails101jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=102Page 102button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=102 data-page=102 class=ts-thumb lazyload alt=Page 102: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails102jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=103Page 103button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=103 data-page=103 class=ts-thumb lazyload alt=Page 103: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails103jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=104Page 104button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=104 data-page=104 class=ts-thumb lazyload alt=Page 104: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails104jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=105Page 105button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=105 data-page=105 class=ts-thumb lazyload alt=Page 105: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails105jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=106Page 106button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=106 data-page=106 class=ts-thumb lazyload alt=Page 106: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails106jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=107Page 107button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=107 data-page=107 class=ts-thumb lazyload alt=Page 107: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails107jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=108Page 108button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=108 data-page=108 class=ts-thumb lazyload alt=Page 108: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails108jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=109Page 109button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=109 data-page=109 class=ts-thumb lazyload alt=Page 109: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails109jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=110Page 110button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=110 data-page=110 class=ts-thumb lazyload alt=Page 110: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails110jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=111Page 111button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=111 data-page=111 class=ts-thumb lazyload alt=Page 111: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails111jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=112Page 112button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=112 data-page=112 class=ts-thumb lazyload alt=Page 112: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails112jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=113Page 113button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=113 data-page=113 class=ts-thumb lazyload alt=Page 113: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails113jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=114Page 114button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=114 data-page=114 class=ts-thumb lazyload alt=Page 114: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails114jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=115Page 115button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=115 data-page=115 class=ts-thumb lazyload alt=Page 115: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails115jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=116Page 116button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=116 data-page=116 class=ts-thumb lazyload alt=Page 116: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails116jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=117Page 117button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=117 data-page=117 class=ts-thumb lazyload alt=Page 117: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails117jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=118Page 118button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=118 data-page=118 class=ts-thumb lazyload alt=Page 118: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails118jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=119Page 119button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=119 data-page=119 class=ts-thumb lazyload alt=Page 119: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails119jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=120Page 120button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=120 data-page=120 class=ts-thumb lazyload alt=Page 120: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails120jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=121Page 121button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=121 data-page=121 class=ts-thumb lazyload alt=Page 121: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails121jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=122Page 122button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=122 data-page=122 class=ts-thumb lazyload alt=Page 122: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails122jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=123Page 123button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=123 data-page=123 class=ts-thumb lazyload alt=Page 123: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails123jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=124Page 124button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=124 data-page=124 class=ts-thumb lazyload alt=Page 124: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails124jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=125Page 125button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=125 data-page=125 class=ts-thumb lazyload alt=Page 125: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails125jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=126Page 126button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=126 data-page=126 class=ts-thumb lazyload alt=Page 126: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails126jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=127Page 127button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=127 data-page=127 class=ts-thumb lazyload alt=Page 127: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails127jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=128Page 128button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=128 data-page=128 class=ts-thumb lazyload alt=Page 128: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails128jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=129Page 129button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=129 data-page=129 class=ts-thumb lazyload alt=Page 129: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails129jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=130Page 130button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=130 data-page=130 class=ts-thumb lazyload alt=Page 130: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails130jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=131Page 131button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=131 data-page=131 class=ts-thumb lazyload alt=Page 131: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails131jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=132Page 132button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=132 data-page=132 class=ts-thumb lazyload alt=Page 132: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails132jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=133Page 133button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=133 data-page=133 class=ts-thumb lazyload alt=Page 133: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails133jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=134Page 134button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=134 data-page=134 class=ts-thumb lazyload alt=Page 134: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails134jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=135Page 135button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=135 data-page=135 class=ts-thumb lazyload alt=Page 135: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails135jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=136Page 136button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=136 data-page=136 class=ts-thumb lazyload alt=Page 136: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails136jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=137Page 137button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=137 data-page=137 class=ts-thumb lazyload alt=Page 137: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails137jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=138Page 138button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=138 data-page=138 class=ts-thumb lazyload alt=Page 138: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails138jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=139Page 139button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=139 data-page=139 class=ts-thumb lazyload alt=Page 139: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails139jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=140Page 140button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=140 data-page=140 class=ts-thumb lazyload alt=Page 140: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails140jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=141Page 141button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=141 data-page=141 class=ts-thumb lazyload alt=Page 141: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails141jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=142Page 142button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=142 data-page=142 class=ts-thumb lazyload alt=Page 142: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails142jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=143Page 143button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=143 data-page=143 class=ts-thumb lazyload alt=Page 143: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails143jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=144Page 144button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=144 data-page=144 class=ts-thumb lazyload alt=Page 144: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails144jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=145Page 145button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=145 data-page=145 class=ts-thumb lazyload alt=Page 145: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails145jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=146Page 146button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=146 data-page=146 class=ts-thumb lazyload alt=Page 146: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails146jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=147Page 147button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=147 data-page=147 class=ts-thumb lazyload alt=Page 147: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails147jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=148Page 148button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=148 data-page=148 class=ts-thumb lazyload alt=Page 148: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails148jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=149Page 149button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=149 data-page=149 class=ts-thumb lazyload alt=Page 149: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails149jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=150Page 150button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=150 data-page=150 class=ts-thumb lazyload alt=Page 150: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails150jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=151Page 151button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=151 data-page=151 class=ts-thumb lazyload alt=Page 151: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails151jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=152Page 152button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=152 data-page=152 class=ts-thumb lazyload alt=Page 152: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails152jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=153Page 153button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=153 data-page=153 class=ts-thumb lazyload alt=Page 153: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails153jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=154Page 154button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=154 data-page=154 class=ts-thumb lazyload alt=Page 154: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails154jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=155Page 155button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=155 data-page=155 class=ts-thumb lazyload alt=Page 155: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails155jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=156Page 156button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=156 data-page=156 class=ts-thumb lazyload alt=Page 156: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails156jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=157Page 157button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=157 data-page=157 class=ts-thumb lazyload alt=Page 157: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails157jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=158Page 158button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=158 data-page=158 class=ts-thumb lazyload alt=Page 158: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails158jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=159Page 159button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=159 data-page=159 class=ts-thumb lazyload alt=Page 159: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails159jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=160Page 160button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=160 data-page=160 class=ts-thumb lazyload alt=Page 160: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails160jpg width=140 height=200 divdivdiv class=ts-pagebutton class=gotoPage data-page=161Page 161button div class=ts-imageimg data-url=with-cross-cutting-tools-jonathan-mace-brown-university-distributed-systems-facebookhtmlpage=161 data-page=161 class=ts-thumb lazyload alt=Page 161: €¦ · with Cross-Cutting Tools Jonathan Mace Brown University Distributed Systems facebook 74 SMART Distributed Systems More complicated Harder to reason about My Research: loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader034vdocumentsmxreader034viewer20220501015f40bd2862ecf61c884063dchtml5thumbnails161jpg width=140 height=200 divdiv
