Event structure semantics for multiparty sessions.

Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

multi party
logic programming
event detection
semantic structure
privacy preserving
graphical representation
human communication