Palsberg, Jens (ed.) 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] Cited in 1 Document 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 \textit{J. Palsberg} (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (2009; Zbl 1173.68014) Full Text: DOI