"Formale Methode Aufsatzsammlung." . . "Artificial Intelligence (incl. Robotics)" . . . . "Symposium (2009.09.10 Udine)" . . . "algebra." . . "Algebra." . "Semantics." . . "Formale Methode." . . "programmeren (informatica)" . . . "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." . . . . . . . . . . . . "Semantics and algebraic spezification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday" . . . . . . "Electronic books"@en . . . "Electronic books" . . . "Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday" . "Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday" . . . . . . . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . "Conference proceedings"@en . . "Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday"@en . . "Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday" . . . . . . . . . . . . . . . . . . "Aufsatzsammlung"@en . "Aufsatzsammlung" . . . . . "Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday" . "Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday"@en . . . . . . . . . . . . . "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."@en . . . . . . . . . . . . . "Llibres electrònics" . . . . . . . "Llenguatges de programació Semàntica Congressos." . . "Computerarchitectuur. Operating systems." . . "Computer science." . . "Computer Science." . "Semàntica." . . "Langages de programmation Sémantique Congrès." . . "Electronic books." . . "Mathematical Logic and Formal Languages" . . "Mathematical Logic and Formal Languages." . "Computer. Informatica. Automatisering." . . "Artificiële intelligentie. Robotica. Simulatie. Graphics." . . "Algebra Data processing." . . "Algebraische Spezifikation." . . "robots." . . "Artificial intelligence." . . "Informàtica Matemàtica Congressos." . . "wiskunde." . . "software engineering." . . "Software engineering." . "Software Engineering." . "Programmering." . . "Computer science Mathematics Congresses." . . "Programming languages (Electronic computers) Semantics Congresses." . . "Llenguatges de programació." . . "Abstract data types (Computer science)" . . "Programmiersprache." . . "Programming Techniques" . . "Programming Techniques." . "Informatique." . . "Semantik." . . "Algebraische Spezifikation Aufsatzsammlung." . . "Programmiersprache Semantik Aufsatzsammlung." . . "logica." . . "Informatique Mathématiques Congrès." . . "informatica." . . "Symbolic and Algebraic Manipulation" . . "Symbolic and Algebraic Manipulation." . "Mathematische logica." . . "Logics and Meanings of Programs" . . "Logics and Meanings of Programs." . "Theoretische informatica." . . "Logic design." . .