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