ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with processes and monitors in Mesa
Communications of the ACM
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
An exercise in proving parallel programs correct
Communications of the ACM
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Parallel processing structures: languages, schedules, and performance results
Parallel processing structures: languages, schedules, and performance results
An overview of path Pascal's design
ACM SIGPLAN Notices
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Hi-index | 0.00 |