Login / Signup
Algorithms for algebraic path properties in concurrent systems of constant treewidth components.
Krishnendu Chatterjee
Amir Kafshdar Goharshady
Rasmus Ibsen-Jensen
Andreas Pavlogiannis
Published in:
POPL (2016)
Keyphrases
</>
concurrent systems
computational cost
temporal logic
space complexity
linear algebra
worst case
computationally efficient
case study
upper bound
open source
np complete
theoretical analysis
structural properties