Abendroth, Jörg

• BRICS Report Series No. 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism - Articles
  Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism
  Abstract  PDF