Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard
In the proceedings of Theory of Security and Applications (TOSCA), joint workshop affiliated to ETAPS, Springer LNCS volume 6993, 2011
Recommended citation: Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard, "Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus" In the proceedings of Theory of Security and Applications workshop, Springer LNCS volume 69932011.