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

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
PDF Published version
Type
Conference paper
Publication
ACM Symposium on Principles of Programming Languages (POPL)