@article{Lohrey2004160,
    Author = {Lohrey, Markus and Muscholl, Anca},
    File = {Bounded MSC communication - Lohrey, Muscholl (0) (0) - a - a - e.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {communicating automata and message sequence charts},
    Number = {2},
    Pages = {160 - 181},
    Title = {Bounded MSC communication},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540103002207},
    Volume = {189},
    Year = {2004},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540103002207},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2003.10.002},
    date-added = {2012-05-24 11:00:11 +0200},
    date-modified = {2012-05-24 09:01:24 +0000},
    file-2 = {Bounded MSC communication - Lohrey, Muscholl (1) (0) - a - a - e.pdf},
    doi = {10.1016/j.ic.2003.10.002}
}

@article{Lohrey2004160, Author = {Lohrey, Markus and Muscholl, Anca}, File = {Bounded MSC communication - Lohrey, Muscholl (0) (0) - a - a - e.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {communicating automata and message sequence charts}, Number = {2}, Pages = {160 - 181}, Title = {Bounded MSC communication}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540103002207}, Volume = {189}, Year = {2004}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540103002207}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2003.10.002}, date-added = {2012-05-24 11:00:11 +0200}, date-modified = {2012-05-24 09:01:24 +0000}, file-2 = {Bounded MSC communication - Lohrey, Muscholl (1) (0) - a - a - e.pdf}, doi = {10.1016/j.ic.2003.10.002} }