Certified Compilation of Choreographies with hacc.

Luís Cruz-Filipe Lovro Lugovic Fabrizio Montesi

Published in: FORTE (2023)

Keyphrases

information technology
high dimensional
information extraction
knowledge compilation
artificial intelligence
data structure
pairwise
xml documents
domain knowledge
technical support
model counting