Home

Anindya__Basu


Eicken. Promela++: A language for constructing correct and efficient protocols

Estimation of receiver round trip times in multicast communications

Solving problems in the presence of process crashes and lossy links