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

Publication
ACM Symposium on Principles of Programming Languages (POPL)