@article{Lanese20101928,
    Author = {Lanese, Ivan and Sangiorgi, Davide},
    File = {An operational semantics for a calculus for wireless systems - Lanese, Sangiorgi (0) (0) - a - a - y.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Interference},
    Note = {<ce:title>Mathematical Foundations of Programming Semantics (MFPS 2006)</ce:title>},
    Number = {19},
    Pages = {1928 - 1948},
    Title = {An operational semantics for a calculus for wireless systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397510000484},
    Volume = {411},
    Year = {2010},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397510000484},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2010.01.023},
    date-added = {2012-12-18 17:26:56 +0000},
    date-modified = {2012-12-18 17:26:56 +0000},
    doi = {10.1016/j.tcs.2010.01.023}
}

@article{Lanese20101928, Author = {Lanese, Ivan and Sangiorgi, Davide}, File = {An operational semantics for a calculus for wireless systems - Lanese, Sangiorgi (0) (0) - a - a - y.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Interference}, Note = {Mathematical Foundations of Programming Semantics (MFPS 2006)}, Number = {19}, Pages = {1928 - 1948}, Title = {An operational semantics for a calculus for wireless systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397510000484}, Volume = {411}, Year = {2010}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397510000484}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2010.01.023}, date-added = {2012-12-18 17:26:56 +0000}, date-modified = {2012-12-18 17:26:56 +0000}, doi = {10.1016/j.tcs.2010.01.023} }