Saturation of concurrent collapsible pushdown systems (2013)

First Author: Hague, M.
Attributed to:  Verification of Concurrent and Higher-Order Recursive Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.313

Publication URI: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.313

Parent Publication: Leibniz International Proceedings in Informatics, LIPIcs