Follow-up Meeting

Alejandro Gómez-Londoño

19th May 2022


  • Current research
  • Planned projects

Planned projects

IForests: Interactive trees for choreographies
  • A follow-up to Kalas project.
  • Currently our end point projection theorem relies in a strict projectability criteria
  • Using itrees, a form of observational semantics, we can relax our projectability criteria increasing the expressiveness of our language
  • Proofs are simpler and do not have to consider the interleaving of processes