60. Birthday: Peter D. Mosses 2009

• Jens Palsberg:
  Tribute to Peter Mosses. 1-3
  
• David A. Watt:
  Action Semantics in Retrospect. 4-20
  
• Hejiao Huang, Hélène Kirchner:
  Component-Based Security Policy Design with Colored Petri Nets. 21-42
  
• José Meseguer:
  Order-Sorted Parameterization and Induction. 43-80
  
• André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
  An Implementation of Object-Oriented Action Semantics in Maude. 81-105
  
• Christiano Braga:
  A Constructive Semantics for Basic Aspect Constructs. 106-120
  
• Bartek Klin:
  Structural Operational Semantics for Weighted Transition Systems. 121-139
  
• Fernando Orejas, Martin Wirsing:
  On the Specification and Verification of Model Transformations. 140-161
  
• Olivier Danvy:
  Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. 162-185
  
• Malgorzata Biernacka, Olivier Danvy:
  Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. 186-206
  
• M. G. J. van den Brand, A. P. van der Meer, Alexander Serebrenik:
  Type Checking Evolving Languages with MSOS. 207-226
  
• Luiz Carlos Castro Guedes, Edward Hermann Haeusler:
  Action Algebras and Model Algebras in Denotational Semantics. 227-249
  
• Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi:
  Mobile Processes and Termination. 250-273
  
• Kyung-Goo Doh, David A. Schmidt:
  An Action Semantics Based on Two Combinators. 274-296
  
• Hanne Gottliebsen, Kristoffer H. Rose:
  Converting between Combinatory Reduction Systems and Big Step Semantics. 297-314
  
• Padmanabhan Krishnan, Percy Antonio Pari Salas:
  Model-Based Testing and the UML Testing Profile. 315-328
  
• Kristian Støvring, Søren B. Lassen:
  A Complete, Co-inductive Syntactic Theory of Sequential Control and State. 329-375
  
• Ben Titzer, Jens Palsberg:
  Vertical Object Layout and Compression for Fixed Heaps. 376-408