Travelled to:1 × USA
Collaborated with:S.Thibault D.R.Dooling E.A.Sandberg
Talks about:protocol (1) communic (1) schedul (1) method (1) formal (1) rout (1)
Person: Lenore M. R. Mullin
DBLP: Mullin:Lenore_M=_R=
Contributed to:
1993Wrote 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.