@inproceedings{Bouajjani:2012:ARP:2103656.2103681,
    Address = {New York, NY, USA},
    Author = {Bouajjani, Ahmed and Emmi, Michael},
    BookTitle = {Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {Analysis of recursively parallel programs - Bouajjani, Emmi (0) (0) - a - a - r.pdf},
    ISBN = {978-1-4503-1083-3},
    Keywords = {Petri nets and recursive state machines and pushdown automata and counter automata and vector addition systems},
    Location = {Philadelphia, PA, USA},
    Pages = {203--214},
    Publisher = {ACM},
    Series = {POPL '12},
    Title = {Analysis of recursively parallel programs},
    URL = {http://doi.acm.org/10.1145/2103656.2103681},
    Year = {2012},
    acmid = {2103681},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2103656.2103681},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2103656.2103681},
    bdsk-url-3 = {http://hal.archives-ouvertes.fr/hal-00639351/en},
    date-added = {2012-09-20 09:29:48 +0200},
    date-modified = {2013-10-21 10:55:21 +0000},
    file-2 = {Analysis of recursively parallel programs - Bouajjani, Emmi (1) (0) - a - a - r.pdf},
    numpages = {12},
    doi = {10.1145/2103656.2103681}
}

@inproceedings{Bouajjani:2012:ARP:2103656.2103681, Address = {New York, NY, USA}, Author = {Bouajjani, Ahmed and Emmi, Michael}, BookTitle = {Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {Analysis of recursively parallel programs - Bouajjani, Emmi (0) (0) - a - a - r.pdf}, ISBN = {978-1-4503-1083-3}, Keywords = {Petri nets and recursive state machines and pushdown automata and counter automata and vector addition systems}, Location = {Philadelphia, PA, USA}, Pages = {203--214}, Publisher = {ACM}, Series = {POPL '12}, Title = {Analysis of recursively parallel programs}, URL = {http://doi.acm.org/10.1145/2103656.2103681}, Year = {2012}, acmid = {2103681}, bdsk-url-1 = {http://doi.acm.org/10.1145/2103656.2103681}, bdsk-url-2 = {http://dx.doi.org/10.1145/2103656.2103681}, bdsk-url-3 = {http://hal.archives-ouvertes.fr/hal-00639351/en}, date-added = {2012-09-20 09:29:48 +0200}, date-modified = {2013-10-21 10:55:21 +0000}, file-2 = {Analysis of recursively parallel programs - Bouajjani, Emmi (1) (0) - a - a - r.pdf}, numpages = {12}, doi = {10.1145/2103656.2103681} }