Hello Rules - helloTimeOut

rl [nhelloTimeOut] :

< xid:Hello-Node | up:true, helloTimer:xidT,

interfaces:xNIL,

timerSet: xTS U < xidT:Timer | on:true, time:0 >

> xConf

=>

< xid:Hello-Node |

interfaces: iCast(hello,helloTimeOut,xNIL),

timerSet : xTS U < xidT:Timer | on:true, time:helloTime >

> xConf

.

Previous slide

Next slide

Back to first slide

View graphic version