J
José Meseguer
10 works on record
Works

Algebra, meaning, and computation

All About Maude - A High-Performance Logical Framework

Foundations of Security, Protocols, and Equational Reasoning

Specification, Algebra, and Software

Formal Modeling : Actors; Open Systems, Biological Systems

Spacecraft thermal control

Aerodinámica del vuelo
Concurrency, Graphs and Models
Concurrency, Graphs and Models
Protocols, Strands, and Logic
Protocols, Strands, and Logic
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology