## Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

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

POPL, 2016.

@inproceedings{POPL-2016-ChatterjeeGIP, author = "Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis", booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}", doi = "10.1145/2837614.2837624", isbn = "978-1-4503-3549-2", pages = "733--747", publisher = "{ACM}", title = "{Algorithms for algebraic path properties in concurrent systems of constant treewidth components}", year = 2016, }