M. A. Valero Espada

Formal design, tooling, and prototype implementation of a real-time distributed shared data space (CES.5009)

Simona Orzan, J. C. van de Pol, M. A. Valero Espada, 2000 .

Modal Abstraction and Replication of Processes with Data

M. A. Valero Espada, M. V. Espada, Miguel Valero, 2005 .