Travelled to:
1 × USA
Collaborated with:
L.M.R.Mullin S.Thibault E.A.Sandberg
Talks about:
protocol (1) communic (1) schedul (1) method (1) formal (1) rout (1)
Person: Daria R. Dooling
DBLP: Dooling:Daria_R=
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.