@article{KLARLUND200521,
    Author = {Klarlund, Nils and Trefler, Richard},
    File = {1-s2.0-S1571066105002343-main (0) - a - a - c.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {Regularity, FIFO channels, queues, concurrency},
    Note = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)},
    Number = {6},
    Pages = {21 - 36},
    Title = {Regularity Results for FIFO Channels},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066105002343},
    Volume = {128},
    Year = {2005},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105002343},
    bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2005.04.002},
    date-added = {2018-03-26 12:55:35 +0000},
    date-modified = {2018-03-26 12:55:35 +0000},
    doi = {10.1016/j.entcs.2005.04.002}
}

@article{KLARLUND200521, Author = {Klarlund, Nils and Trefler, Richard}, File = {1-s2.0-S1571066105002343-main (0) - a - a - c.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {Regularity, FIFO channels, queues, concurrency}, Note = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)}, Number = {6}, Pages = {21 - 36}, Title = {Regularity Results for FIFO Channels}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066105002343}, Volume = {128}, Year = {2005}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105002343}, bdsk-url-2 = {https://doi.org/10.1016/j.entcs.2005.04.002}, date-added = {2018-03-26 12:55:35 +0000}, date-modified = {2018-03-26 12:55:35 +0000}, doi = {10.1016/j.entcs.2005.04.002} }