Johannes Borgström, Andrew D. Gordon, Andrew Phillips. A Chart Semantics for the Pi-Calculus. Electronic Notes in Theoretical Computer Science, 194(2):3-29, 2008. [doi]
@article{BorgstromGP08,
title = {A Chart Semantics for the Pi-Calculus},
author = {Johannes Borgström and Andrew D. Gordon and Andrew Phillips},
year = {2008},
doi = {10.1016/j.entcs.2007.11.002},
url = {http://dx.doi.org/10.1016/j.entcs.2007.11.002},
tags = {semantics},
researchr = {https://researchr.org/publication/BorgstromGP08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {2},
pages = {3-29},
}