Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components

Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)