Login / Signup

Certified Compilation of Choreographies with hacc.

Luís Cruz-FilipeLovro LugovicFabrizio Montesi
Published in: CoRR (2023)
Keyphrases
  • databases
  • knowledge compilation
  • lower bound