Semantics and Algebraic Specification

Semantics and Algebraic Specification

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

by Jens Palsberg

409 pages· 2009· ISBN 9783642041631
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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.

Discuss Semantics and Algebraic Specification with other readers

Join or start a book club for Semantics and Algebraic Specification on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Semantics and Algebraic Specification?

Sign up free on Readfeed, then browse public clubs or start your own club with Semantics and Algebraic Specification as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Semantics and Algebraic Specification with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Semantics and Algebraic Specification with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.