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

Ross Horne, Sjouke Mauw, Semen Yurkov

Browse the full ICTAC paper archive.