Volume 8, no. 4 (June 2009)

Editorial

Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino, Securing Java with Local Policies, pp. 5-32, PDF, HTML.
John Boyland, An Operational Semantics including ‘Volatile’ for Safe Concurrency, pp. 33-53, PDF, HTML.
Christian Haack, Clément Hurlin, Resource Usage Protocols for Iterators, pp. 55-83, PDF, HTML.
A. J. Summers, Sophia Drossopoulou, Peter Müller, Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods, pp. 85-125, PDF, HTML.