Ivan Lanese

Summary

• 1 papers in 1 bundles
• Top 3 popular topics:
  • T3C: DSLs (1 times)
  • T4D: Interpretation (1 times)
  • T1C: Behavioural Semantics (1 times)
• Top 3 coauthors:
  • Mila Dalla Preda (1 times)
  • Saverio Giallorenzo (1 times)
  • Jacopo Mauro (1 times)
• Made 1 contributions (see below)

List of contributions

• (SLE 2014) Coauthored AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.