The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
The invention of concurrent programming
The origin of concurrent programming
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Hi-index | 0.00 |