José Meseguer

• Aerodinámica del vuelo
• Algebra, meaning, and computation
• All About Maude - A High-Performance Logical Framework
• Formal Modeling : Actors; Open Systems, Biological Systems
• Foundations of Security, Protocols, and Equational Reasoning
• Spacecraft thermal control
• Specification, Algebra, and Software
• Algebraic Methodology and Software Technology
• Concurrency, Graphs and Models
• Protocols, Strands, and Logic