Formal Methods for Open Object-Based Distributed SystemsIV presents the leading edge in the fie...

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic....

This volume contains the proceedings of the Fifth International Conference on Coordination Models...

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published...

Solomon Feferman has shaped the field of foundational research for nearly half a century. These p...

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

This book presents joint works of members of the software engineering and formal methods communit...

This book gives a comprehensive account of Maude, a language and system based on rewriting logic....

Formal Methods for Open Object-Based Distributed SystemsIV presents the leading edge i...

This volume contains the proceedings of the Fifth International Conference on Coordination Models...

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...