@article{HaaseSchmitzSchoebelen:LMCS:2014,
    Author = {Haase, Christoph and Schmitz, Sylvain and Schnoebelen, Philippe},
    File = {The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (2) (0) - a - a - v.pdf},
    Journal = {Logical Methods in Computer Science},
    Keywords = {readme},
    Number = {4},
    Title = {The Power of Priority Channel Systems},
    URL = {http://dx.doi.org/10.2168/LMCS-10(4:4)2014},
    Volume = {10},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-10(4:4)2014},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1301-5500},
    date-added = {2015-09-19 17:29:19 +0000},
    date-modified = {2018-03-12 18:48:49 +0000},
    timestamp = {Mon, 05 Jan 2015 16:52:15 +0100},
    doi = {10.2168/LMCS-10(4:4)2014}
}

@article{HaaseSchmitzSchoebelen:LMCS:2014, Author = {Haase, Christoph and Schmitz, Sylvain and Schnoebelen, Philippe}, File = {The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (2) (0) - a - a - v.pdf}, Journal = {Logical Methods in Computer Science}, Keywords = {readme}, Number = {4}, Title = {The Power of Priority Channel Systems}, URL = {http://dx.doi.org/10.2168/LMCS-10(4:4)2014}, Volume = {10}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-10(4:4)2014}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1301-5500}, date-added = {2015-09-19 17:29:19 +0000}, date-modified = {2018-03-12 18:48:49 +0000}, timestamp = {Mon, 05 Jan 2015 16:52:15 +0100}, doi = {10.2168/LMCS-10(4:4)2014} }