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.












