ADA: Concurrent Programming
Concurrent programming in Ada
Traps using the COUNT attribute in the readers-writers problem
ACM SIGAda Ada Letters
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Monitors: an operating system structuring concept
Communications of the ACM
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Towards the construction of verifiable software systems
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Hi-index | 0.00 |