Communicating sequential processes
Communicating sequential processes
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization with eventcounts and sequencers
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Principles of Concurrent Programming
Principles of Concurrent Programming
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Programming languages—comparatively speaking
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
This paper describes a class project for a graduate level course in systems programming which emphasizes concurrency issues.