@inproceedings{5230596,
    Author = {Bengtson, J. and Johansson, M. and Parrow, J. and Victor, B.},
    BookTitle = {2009 24th Annual IEEE Symposium on Logic In Computer Science},
    File = {8876fbd42336ab1843b9d9fa17e10e557970 (0) - a - a - u.pdf},
    ISSN = {1043-6871},
    Keywords = {psi-calculi},
    Month = {Aug},
    Pages = {39-48},
    Title = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2009.20},
    date-added = {2018-04-16 08:52:18 +0000},
    date-modified = {2018-04-16 08:52:28 +0000},
    doi = {10.1109/LICS.2009.20}
}

@inproceedings{5230596, Author = {Bengtson, J. and Johansson, M. and Parrow, J. and Victor, B.}, BookTitle = {2009 24th Annual IEEE Symposium on Logic In Computer Science}, File = {8876fbd42336ab1843b9d9fa17e10e557970 (0) - a - a - u.pdf}, ISSN = {1043-6871}, Keywords = {psi-calculi}, Month = {Aug}, Pages = {39-48}, Title = {Psi-calculi: Mobile Processes, Nominal Data, and Logic}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2009.20}, date-added = {2018-04-16 08:52:18 +0000}, date-modified = {2018-04-16 08:52:28 +0000}, doi = {10.1109/LICS.2009.20} }