All Stories

  1. Causal Semantics for BPP Nets with Silent Moves

    Article • Fundamenta Informaticae, June 2021, IOS Press

    Roberto Gorrieri

  2. CCS(25,12) is Turing-complete

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Roberto Gorrieri