Heußner et al, 2012

Summary

Alexander Heußner, Jérôme Leroux, Anca Muscholl, and Grégoire Sutre (2012) Reachability Analysis of Communicating Pushdown Systems Logical Methods in Computer Science, 8(3:23):1–20 (URL)

BibTeX entry

@ARTICLE { HeussnerLerouxMuschollSutre:2012:LMCS,
    AUTHOR = { Alexander Heu{\ss}ner and J{\'e}r{\^o}me Leroux and Anca Muscholl and Gr\'egoire Sutre },
    TITLE = { Reachability Analysis of Communicating Pushdown Systems },
    JOURNAL = { Logical Methods in Computer Science },
    VOLUME = { 8 },
    NUMBER = { 3:23 },
    PAGES = { 1--20 },
    YEAR = { 2012 },
    MONTH = { sep },
    URL = { http://arxiv.org/pdf/1209.0359 },
    DOI = { 10.2168/LMCS-8(3:23)2012 },
}