Login / Signup

Algorithms for algebraic path properties in concurrent systems of constant treewidth components.

Krishnendu ChatterjeeAmir Kafshdar GoharshadyRasmus Ibsen-JensenAndreas 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