Communicating sequential processes
Communicating sequential processes
Message-based functional operating systems
Science of Computer Programming
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional programming and operating systems
The Computer Journal - Special issue on Lazy functional programming
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
PVM: a framework for parallel distributed computing
Concurrency: Practice and Experience
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Occam Programming Manual
| Hi-index | 0.00 |