@article{AmanPohjola_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/AmanPohjola_20.pdf},
    publisher        = {Logical Methods in Computer Science e.V.},
    title            = {Psi-Calculi Revisited: Connectivity and Compositionality},
    volume           = {16},
    year             = {2020}
  }