Books by Carolyn Talcott
Rebeca for Actor Analysis in A
Rebeca for Actor Analysis in Action
Composing Model-Based Analysis Tools
Logic, Language, and Security
Logic, Language, and Security
Logic, Rewriting, and Concurre
Logic, Rewriting, and Concurrency
Proceedings of the 9th Interna
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
All About Maude - A High-Performance Logical Framework
Reflections on the Foundations
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman