Concurrent Programming, Open Systems and Formal Methods More Books by José Meseguer, Carlos A. Varela & Nalini Venkatasubramanian

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
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2008