iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/popl/ChatterjeeGIP16.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/popl/ChatterjeeGIP16 AU - Chatterjee, Krishnendu AU - Goharshady, Amir Kafshdar AU - Ibsen-Jensen, Rasmus AU - Pavlogiannis, Andreas TI - Algorithms for algebraic path properties in concurrent systems of constant treewidth components. BT - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 SP - 733 EP - 747 PY - 2016// DO - 10.1145/2837614.2837624 UR - https://doi.org/10.1145/2837614.2837624 UR - https://doi.org/10.1145/2914770.2837624 ER -