Semantics and Algebraic Specification, Fachbücher von Jens Palsberg

Das Buch "Semantics and Algebraic Specification" ist eine Festschrift, die zu Ehren von Peter D. Mosses anlässlich seines 60. Geburtstags veröffentlicht wurde. Es umfasst 17 einladende Kapitel, die von vielen von Peter D. Mosses' Co-Autoren, Mitarbeitern, engen Kollegen und ehemaligen Studierenden verfasst wurden. Peter D. Mosses ist bekannt für seine bedeutenden Beiträge im Bereich der formalen Programmiersemantik, insbesondere für die Entwicklung der Aktionssemantik, die eine Kombination aus denotationaler, operationeller und algebraischer Semantik darstellt. Die in diesem Band versammelten Präsentationen stammen von einem Symposium, das zu seinen Ehren am 10. September 2009 in Udine, Italien, stattfand. Die behandelten Themen sind vielfältig und spiegeln die technischen Beiträge von Peter wider, darunter Aktionssemantik, Sicherheitsrichtlinien-Design, gefärbte Petrinetze, objektorientierte Aktionssemantik und strukturelle operationale Semantik. Diese Festschrift würdigt seinen bleibenden Einfluss auf das Fachgebiet und bietet wertvolle Einblicke in aktuelle Forschungsthemen.