A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programs: proofs, principles, and practice
Communications of the ACM
Verification of a methodology for designing reliable communication protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
| Hi-index | 0.02 |