Choreographic Compilation of Decentralized Comprehension Patterns
with Iliano Cervesato and Ali Elgazar
Rule Technologies. Research, Tools, and Applications – 10th International
Symposium, RuleML 2016, Stony Brook NY, USA, July 2016 [pdf]
with Iliano Cervesato and Ali Elgazar
Rule Technologies. Research, Tools, and Applications – 10th International
Symposium, RuleML 2016, Stony Brook NY, USA, July 2016 [pdf]