A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Journal of the ACM (JACM)
Proving systolic systems correct
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Grapevine: an exercise in distributed computing
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The architecture of concurrent programs
The architecture of concurrent programs
| Hi-index | 48.22 |