Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Implementing JSD designs in Ada: a tutorial
ACM SIGSOFT Software Engineering Notes
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Process clustering for distributed debugging
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Using Automatic Process Clustering for Design Recovery and Distributed Debugging
IEEE Transactions on Software Engineering
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
| Hi-index | 0.02 |