Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Rasmus Ibsen-Jensen
,
Andreas Pavlogiannis
August 2018
PDF
Published version
Type
Journal article
Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Related
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth
Cite
×