Communicating sequential processes
Communications of the ACM
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Parallel computing to start the millennium
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
We present methods for safe and correct programming for concurrent threads in Java. The methods are based on the principles of Concurrent Sequential Processes (CSP). We demonstrate the use of tools which provide the structure of CSP within Java to avoid some of the pitfalls of multithreaded programming using monitors, the primitive synchronization tool in Java. Several examples illustrate the use of these tools.