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
Journal article
Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)