Travelled to:
1 × USA
Collaborated with:
L.M.R.Mullin S.Thibault D.R.Dooling
Talks about:
protocol (1) communic (1) schedul (1) method (1) formal (1) rout (1)
Person: Erik A. Sandberg
DBLP: Sandberg:Erik_A=
Contributed to:
Wrote 1 papers:
- HPDC-1993-MullinTDS #communication #formal method #protocol #scheduling
- Formal Method for Scheduling, Routing and Communication Protocol (LMRM, ST, DRD, EAS), pp. 234–242.