Miguel Valero Espada

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Miguel Valero Espada, Jaco van de Pol
An abstract interpretation toolkit for µCRL. Formal Methods Syst. Des. 30 (3) (2007)
Miguel Valero Espada, Jaco van de Pol
Accelerated Modal Abstractions of Labelled Transition Systems. AMAST (2006)
Simona Orzan, Jaco van de Pol, Miguel Valero Espada
A State Space Distribution Policy Based on Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Jaco van de Pol, Miguel Valero Espada
CRL. Electron. Notes Theor. Comput. Sci. 133 (2005)
Jun Pang, Jaco van de Pol, Miguel Valero Espada
Abstraction of Parallel Uniform Processes with Data. SEFM (2004)
Jaco van de Pol, Miguel Valero Espada
Modal Abstractions in µCRL. AMAST (2004)
Jaco van de Pol, Miguel Valero Espada
Parallel Programs. ACSD (2003)
Jaco van de Pol, Miguel Valero Espada
Formal Specification of JavaSpaces Architecture Using µCRL. COORDINATION (2002)