Algorithms for algebraic path properties in concurrent systems of constant treewidth components.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

Browse the full POPL paper archive.