Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.

Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan

Browse the full LPAR paper archive.