José Meseguer
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
10
Concurrency, Graphs and Models
Specification, Algebra, and Software
Formal Modeling : Actors; Open Systems, Biological Systems
Algebra, meaning, and computation
Protocols, Strands, and Logic
Algebraic Methodology and Software Technology
Spacecraft thermal control
Aerodinámica del vuelo
Foundations of Security, Protocols, and Equational Reasoning
