Publications

1. Home
2. Publications

• Brodo L., Bruni R., Falaschi M.
  A process algebraic approach to reaction systems
  submitted to Theoretical Computer Science


• Brodo, L., Olarte, C.
  Verification techniques for a network algebra
  (2020) Fundamenta Informaticae,
  Volume 172(1): pp. 1-38


• Bodei, C., Brodo, L. , Bruni, R.
  The link-calculus for Open Multiparty Interactions
  submitted to Information and Computation


• Brodo L., Bruni R., Falaschi M.
  Enhancing Reaction Systems: A Process Algebraic Approach
  (2019) Lecture Notes in Computer Science,
  volume 11769 LNCS, pp. 68-85


• Bodei, C., Brodo, L. , Bruni, R.
  A Formal Approach to Open Multiparty Interactions
  (2019) Theoretical Computer Science,
  Volume 763: pp. 38-65


• Brodo, L., Olarte, C.
  Symbolic semantics for multiparty interactions in the link-calculus
  (2017) Lecture Notes in Computer Science,
  volume 10139 LNCS, pp. 62-75


• Bodei, C., Brodo, L., Bruni, R., Chiarugi, D.
  A flat process calculus for nested membrane interactions
  (2014) Scientific Annals of Computer Science,
  Volume 24(1): pp. 91-136


• Bodei, C., Brodo, L., Bruni, R.
  Open multiparty interaction
  (2013) Lecture Notes in Computer Science,
  volume 7841 LNCS, pp. 1-23