Dusko Pavlovic

Foundations of Security, Protocols, and Equational Reasoning

Programs As Diagrams

Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers