Saturation of Concurrent Collapsible Pushdown Systems

Matthew Hague. Saturation of Concurrent Collapsible Pushdown Systems. In Anil Seth, Nisheeth K. Vishnoi, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. Volume 24 of LIPIcs, pages 313-325, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Abstract

Abstract is missing.