_id,doi,title
6009,10.1145/3210257,Algorithms for algebraic path properties in concurrent systems of constant treewidth components