More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Theoretical Computer Science and General Issues

Semantics and Algebraic Specification

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

Editors: Palsberg, Jens (Ed.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-04164-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-04163-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (18 chapters)

  • Tribute to Peter Mosses

    Palsberg, Jens

    Pages 1-3

  • Action Semantics in Retrospect

    Watt, David A.

    Pages 4-20

  • Component-Based Security Policy Design with Colored Petri Nets

    Huang, Hejiao (et al.)

    Pages 21-42

  • Order-Sorted Parameterization and Induction

    Meseguer, José

    Pages 43-80

  • An Implementation of Object-Oriented Action Semantics in Maude

    Maidl, André Murbach (et al.)

    Pages 81-105

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-04164-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-04163-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Semantics and Algebraic Specification
Book Subtitle
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Editors
  • Jens Palsberg
Series Title
Theoretical Computer Science and General Issues
Series Volume
5700
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-642-04164-8
DOI
10.1007/978-3-642-04164-8
Softcover ISBN
978-3-642-04163-1
Edition Number
1
Number of Pages
X, 409
Topics