Algebraic Methodology and Software Technology More Books by José Meseguer & Grigore Rosu

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