Probst - Semantics Logics and Calculi Essays Dedicated to Hanne Ri - X555z

Iida - Specification Algebra and Software Essays Dedicated to Koki - X555z

Mart-Oliet - Logic Rewriting and Concurrency Essays Dedicated to - X555z

Nigam - Logic Language and Security Essays Dedicated to Andre Sced - X555z

Day - Computability and Complexity Essays Dedicated to Rodney G. Dow - X555z

Comon-Lundh - Rewriting Computation and Proof Essays Dedicated to Je - X555z

Aceto - Models Algorithms Logics and Tools Essays Dedicated to Kim - X555z

De Nicola - Software Services and Systems Essays Dedicated to Mart - X555z