Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
Modular Compilation for Higher-Order Functional Choreographies
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Generalizes PDL to OPDL by distinguishing programs from traces via arbitrary operational semantics and proves cut-elimination for a non-wellfounded sequent calculus.
citing papers explorer
-
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
-
On Propositional Dynamic Logic and Concurrency
Generalizes PDL to OPDL by distinguishing programs from traces via arbitrary operational semantics and proves cut-elimination for a non-wellfounded sequent calculus.