José Meseguer
· 10 obras en el catálogo
Obras

Algebra, meaning, and computation

All About Maude - A High-Performance Logical Framework

Specification, Algebra, and Software

Foundations of Security, Protocols, and Equational Reasoning

Formal Modeling : Actors; Open Systems, Biological Systems

Spacecraft thermal control
Concurrency, Graphs and Models
Protocols, Strands, and Logic
Algebraic Methodology and Software Technology
