• Algorithms for Algebraic Path...

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

Title:
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Authors:
Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Goharshady, Amir Kafshdar, Pavlogiannis, Andreas
Source:
ACM Transactions on Programming Languages and Systems (TOPLAS). 40(3):1-43
Availability:
http://dl.acm.org/doi/10.1145/3210257
Database:
ACM Full-Text Collection