Travelled to:
1 × China
Collaborated with:
J.Pang J.v.d.Pol
Talks about:
parallel (1) abstract (1) uniform (1) process (1) data (1)
Person: Miguel Valero Espada
DBLP: Espada:Miguel_Valero
Contributed to:
Wrote 1 papers:
- SEFM-2004-PangPE #abstraction #parallel #process
- Abstraction of Parallel Uniform Processes with Data (JP, JvdP, MVE), pp. 14–23.