Publication year: 2005
ISBN: 978-3-540-32425-6
Internet Resource: Please Login to download book
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.
Subject: Computer Science, Bisimulation, Extension, aspect-oriented programming, behavior, expression reduction, finite equational bases, graph transformation, lambda calculus, logic, model theory, mu calculus, process algebra, semantics, simulation, term rewriting