×

Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. (English) Zbl 1173.68014

Lecture Notes in Computer Science 5700. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). viii, 409 p. (2009).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Palsberg, Jens, Tribute to Peter Mosses, 1-3 [Zbl 1253.01035]
Watt, David A., Action semantics in retrospect, 4-20 [Zbl 1253.68216]
Huang, Hejiao; Kirchner, Hélène, Component-based security policy design with colored Petri nets, 21-42 [Zbl 1253.68242]
Meseguer, José, Order-sorted parameterization and induction, 43-80 [Zbl 1253.68215]
Klin, Bartek, Structural operational semantics for weighted transition systems, 121-139 [Zbl 1253.68214]
Orejas, Fernando; Wirsing, Martin, On the specification and verification of model transformations, 140-161 [Zbl 1253.68232]
Guedes, Luiz Carlos Castro; Haeusler, Edward Hermann, Action algebras and model algebras in denotational semantics, 227-249 [Zbl 1253.68213]
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide, Mobile processes and termination, 250-273 [Zbl 1253.68239]
Doh, Kyung-Goo; Schmidt, David A., An action semantics based on two combinators, 274-296 [Zbl 1253.68210]
Gottliebsen, Hanne; Rose, Kristoffer H., Converting between combinatory reduction systems and big step semantics, 297-314 [Zbl 1253.68212]
Støvring, Kristian; Lassen, Soren B., A complete, co-inductive syntactic theory of sequential control and state, 329-375 [Zbl 1253.68083]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q55 Semantics in the theory of computing
68Q65 Abstract data types; algebraic specification
00B30 Festschriften

Biographic References:

Mosses, Peter D.
PDFBibTeX XMLCite
Full Text: DOI