A Semiformal Correctness Proof of a Network Broadcast Algorithm
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Hi-index | 0.89 |