Volume 63, Number 1, November 2006

Special issue on security issues in coordination models, languages, and systems

• 
  Riccardo Focardi, Gianluigi Zavattaro: Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. 1-2
• 
  Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro: Secure shared data-space coordination languages: A process algebraic survey. 3-15
• 
  Alessandro Aldini: Classification of security properties in a Linda-like process algebra. 16-38
• 
  Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. 39-56
• 
  Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. 57-87
• 
  Andrea Omicini, Alessandro Ricci, Mirko Viroli: Agent Coordination Contexts for the formal specification and enactment of coordination and security policies. 88-107

Volume 63, Number 2, December 2006

Special issue on synchronization and concurrency in object-oriented languages

• 
  Timothy L. Harris, Doug Lea: Special issue on synchronization and concurrency in object-oriented languages. 109-110
• 
  Brian D. Carlstrom, JaeWoong Chung, Hassan Chafi, Austen McDonald, Chi Cao Minh, Lance Hammond, Christoforos E. Kozyrakis, Kunle Olukotun: Executing Java programs with transactional memory. 111-129
• 
  Patrick Th. Eugster, Sebastien Vaucouleur: Composing atomic features. 130-146
• 
  John S. Danaher, I.-Ting Angelina Lee, Charles E. Leiserson: Programming with exceptions in JCilk. 147-171
• 
  João P. Cachopo, António Rito Silva: Versioned boxes as the basis for memory transactions. 172-185
• 
  J. Eliot B. Moss, Antony L. Hosking: Nested transactional memory: Model and architecture sketches. 186-201

Volume 63, Number 3, December 2006

Special issue on foundations of aspect-oriented programming

• 
  Pascal Fradet, Ralf Lämmel: Special issue on foundations of aspect-oriented programming. 203-206
• 
  Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi: Semantics and scoping of aspects in higher-order languages. 207-239
• 
  Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. 240-266
• 
  Radha Jagadeesan, Alan Jeffrey, James Riely: Typed parametric polymorphism for aspects. 267-296
• 
  Karine Altisen, Florence Maraninchi, David Stauch: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. 297-320
• 
  Curtis Clifton, Gary T. Leavens: MiniMAO: An imperative core language for studying aspect-oriented reasoning. 321-374