@techreport{AmanPohjola_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/AmanPohjola_19%3Atr.pdf},
    publisher        = {CSIRO},
    title            = {Psi-Calculi Revisited: Connectivity and Compositionality},
    year             = {2019}
  }