Concurrent Programming, Open Systems and Formal Methods
2025
Protocols, Strands, and Logic
2021
Foundations of Security, Protocols, and Equational Reasoning
2019
All About Maude - A High-Performance Logical Framework
2007
Concurrency, Graphs and Models
2008
Algebraic Methodology and Software Technology
2008