E.-R. Olderog
-
Extensions to communicating sequential processes to allow protocol performance specification
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology