Compositional Analysis of Protocol Equivalence in the Applied x-Calculus Using Quasi-open Bisimilarity

von Horne, Ross
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)