Travelled to:
1 × USA
Collaborated with:
E.Mercer N.Rungta
Talks about:
concurr (1) symbol (1) execut (1) model (1) mcapi (1)
Person: Topher Fischer
DBLP: Fischer:Topher
Contributed to:
Wrote 1 papers:
- PPoPP-2011-FischerMR #concurrent #modelling
- Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.