Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

  • Jens Palsberg

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5700)

Table of contents

  1. Front Matter
  2. Jens Palsberg
    Pages 1-3
  3. David A. Watt
    Pages 4-20
  4. Hejiao Huang, Hélène Kirchner
    Pages 21-42
  5. José Meseguer
    Pages 43-80
  6. André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante
    Pages 81-105
  7. Fernando Orejas, Martin Wirsing
    Pages 140-161
  8. M. G. J. van den Brand, A. P. van der Meer, A. Serebrenik
    Pages 207-226
  9. Luiz Carlos Castro Guedes, Edward Hermann Haeusler
    Pages 227-249
  10. Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
    Pages 250-273
  11. Kyung-Goo Doh, David A. Schmidt
    Pages 274-296
  12. Hanne Gottliebsen, Kristoffer H. Rose
    Pages 297-314
  13. Padmanabhan Krishnan, Percy Pari-Salas
    Pages 315-328
  14. Kristian Støvring, Soren B. Lassen
    Pages 329-375
  15. Ben L. Titzer, Jens Palsberg
    Pages 376-408
  16. Back Matter

About this book


This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students.

Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics.

The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.


Action algebraic methods algebraic specification bisimulation case study category theory coalgebraic reasoning code generation colored petri nets constructive action semantics continuations design programming programming language

Editors and affiliations

  • Jens Palsberg
    • 1
  1. 1.Department of Computer ScienceUniversity of California, Los AngelesLos AngelesUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04163-1
  • Online ISBN 978-3-642-04164-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site