SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was or

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bo

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of f

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and