This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 2

In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. A

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant bran