j meseguer

Learning, Policy Making, and Market Reforms

In the 1980s and 1990s, market reforms swept the world. It is widely believed that the reformist ...

Formal Modeling: Actors; Open Systems, Biological Systems

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthd...

Familia. Los debates que no tuvimos

¿Cómo fortalecer la familia más allá de la división izquierda-derecha? ¿Es posible una nueva cult...

Confesiones a Alá

¿Cómo sobrevivir en un mundo donde las mujeres no tienen ningun estatus?Jbara vive en las mont...

Opium Poppy

«El amor no llora jamás como llora la sangre». En esta certidumbre se basa la novela de Hubert Ha...

Spacecraft Thermal Control

Thermal control systems are an essential element of spacecraft design, ensuring that all parts of...

Foundations of Security, Protocols, and Equational Reasoning

Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and to...

Concurrency, Graphs and Models

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday,...

All About Maude - A High-Performance Logical Framework

Maude is a language and system based on rewriting logic. In this comprehensive account, you'll di...

Current Topics in Artificial Intelligence

Algebraic Methodology and Software Technology

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic ...

Specification, Algebra, and Software

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributio...