A formal theory of choreographic programming

Marco Peressotti · 2023 · DOI 10.1007/s10817-023-09665-3

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.CR · 2026-06-22 · unverdicted · novelty 4.0

Proposes cryptographic certificates of validity by translating logical policy predicates into succinct proof systems for verifying AI agent actions.

Showing 1 of 1 citing paper.

Cryptographic certificates of validity for trustworthy AI cs.CR · 2026-06-22 · unverdicted · none · ref 10
Proposes cryptographic certificates of validity by translating logical policy predicates into succinct proof systems for verifying AI agent actions.