Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components - Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Goharshady, Amir Kafshdar; Pavlogiannis, Andreas (ACM Transactions on Programming Languages and Systems (TOPLAS), 2018)