Formal Methods: Foundations and Applications

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian S...

Recent Trends in Algebraic Development Techniques

InhaltsangabeOpen Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Spec...

Logic, Rewriting, and Concurrency

Rewriting Logic and Its Applications

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...

Rewriting Logic and Its Applications

This book constitutes revised selected papers from the refereed proceedings of the 15th Internati...