A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
COORDINATION OF ASYNCHRONOUS EVENTS
COORDINATION OF ASYNCHRONOUS EVENTS
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A collection of software tools for analyzing designs of concurrent software systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
A New Approach to Proving the Correctness of Multiprocess Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Multiprocessing Approach to Compile-Time Symbol Resolution
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel programs: proofs, principles, and practice
Communications of the ACM
Anomaly detection in concurrent programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Behavior specification in a software design system
Journal of Systems and Software
| Hi-index | 48.24 |