@article{AAmanPohjola_20, author = {{\AA}man Pohjola, Johannes}, date = {2020-12-15}, doi = {https://doi.org/10.23638/LMCS-16(4:16)2020}, issue = {4}, journal = {Logical Methods in Computer Science}, keywords = {Process algebra; Psi-calculi; Nominal logic; Interactive theorem proving; Bisimulation}, month = dec, pages = {16:1-16:28}, paperurl = {https://trustworthy.systems/publications/full_text/AAmanPohjola_20.pdf}, publisher = {Logical Methods in Computer Science e.V.}, title = {Psi-Calculi Revisited: Connectivity and Compositionality}, volume = {16}, year = {2020} }