@inproceedings{AAmanPohjola_19, address = {Lyngby, Denmark}, author = {{\AA}man Pohjola, Johannes}, booktitle = {FORTE 2019: International Conference on Formal Techniques for Distributed Systems}, doi = {https://doi.org/10.1007/978-3-030-21759-4\_1}, isbn = {9783030217587}, keywords = {Process algebra; Psi-calculi; Nominal logic; Interactive theorem proving; Bisimulation}, month = jun, pages = {3-20}, paperurl = {https://trustworthy.systems/publications/full_text/AAmanPohjola_19.pdf}, publisher = {Springer}, title = {Psi-Calculi Revisited: Connectivity and Compositionality}, volume = {11535}, year = {2019} }