In this work, we consider distributed protocols that operate on arbitrary networks. The analysis of such protocols is challenging, as an arbitrarily chosen network may have limited global symmetry. We describe a methodology that uncovers significant local symmetries by appropriately abstracting node neighborhoods in a network. The local symmetries give rise to uniform compositional proofs of co...

Inn this paper, we present ann algorithm to compute structural deadlocks inn coloredd nets under specifiedd conditions. Insteadd of appl ying the ordinary algorithm onn the unfoldedd Petri net, our algorithm take s advantage of the structure of the color functions. It is obtainedd by iterat ive optimizations of the ordinary algorithm. Eachh optimizationn is specifiedd by a m eta-rule, whose app...

How can historians of philosophy justify spending the preponderance their professional lives writing about historical philosophers who held racist views? I use controversy over University Edinburgh’s David Hume Tower as a jumping-off place for discussion this issue. argue that worthwhile philosophical ideas in be conceptually isolated from views.