Semantics and Algebraic Specification

Description

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.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Semantics and Algebraic Specification" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3537
2. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
3. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
4. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
5. CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)
6. Algebraic Geometry I: Algebraic Curves Algebraic Manifolds and Schemes (Encyclopaedia of Mathematical Sciences)
7. Algebraic Geometry II: Cohomology of Algebraic Varieties. Algebraic Surfaces (Encyclopaedia of Mathematical Sciences)
8. Algebraic Geometry II: Cohomology of Algebraic Varieties. Algebraic Surfaces (Encyclopaedia of Mathematical Sciences)
9. Game Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala and Saarinen: 5
10. Lexical-Functional Grammar (Syntax and Semantics, Volume 34) (Syntax and Semantics)
11. Lexical-Functional Grammar (Syntax and Semantics, Volume 34) (Syntax and Semantics)
12. Algebraic Geometry IV : Linear Algebraic Groups, Invariant Theory (Encyclopaedia of Mathematical Sciences)
13. Algebraic Geometry IV : Linear Algebraic Groups, Invariant Theory (Encyclopaedia of Mathematical Sciences)
14. [share_ebook] Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11
15. Journal on Data Semantics XII (Lecture Notes in Computer Science / Journal on Data Semantics)
16. Journal on Data Semantics XI (Lecture Notes in Computer Science / Journal on Data Semantics) (Pt. 11)