@techreport{AAmanPohjola_19:tr, author = {{\AA}man Pohjola, Johannes}, date = {2019-4-16}, doi = {10.25919/5e6bca2d5343d}, institution = {Data61, CSIRO}, keywords = {Process algebra; Psi-calculi; Nominal logic; Interactive theorem proving; Bisimulation}, month = apr, numpages = {42}, paperurl = {https://trustworthy.systems/publications/full_text/AAmanPohjola_19%3Atr.pdf}, publisher = {CSIRO}, title = {Psi-Calculi Revisited: Connectivity and Compositionality}, year = {2019} }