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