Journal: Foundations and Trends in Programming Languages

Volume 1, Issue 4

269 -- 381Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani. A Framework For Efficient Modular Heap Analysis

Volume 1, Issue 3

151 -- 267VĂ©ronique Cortier, Steve Kremer. Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Volume 1, Issue 1-2

1 -- 150Sebastian Burckhardt. Principles of Eventual Consistency