Conference: ICTAC 2021 (18th International Colloquium on Theoretical Aspects of Computing)

Conference: ICTAC 2021 (18th International Colloquium on Theoretical Aspects of Computing)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Compositional Analysis of Protocol Equivalence in the Applied Pi-Calculus Using Quasi-Open Bisimilarity

Compositional Analysis of Protocol Equivalence in the Applied Pi-Calculus Using Quasi-Open Bisimilarity

Sjouke Mauw, Ross Horne and Semen Yurkov

Presentations in this collection: 1