Monitors: an operating system structuring concept
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specifying and proving properties of sentinel processes
ICSE '81 Proceedings of the 5th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Evaluating synchronization mechanisms
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Practical applications of path pascal in systems programming
ACM '79 Proceedings of the 1979 annual conference
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
The external consistency of abstract data types
ACM SIGPLAN Notices
ACM SIGPLAN Notices
| Hi-index | 0.00 |
Data types are an important design tool because they allow freedom of abstraction. Thus, they are useful for constructing large software systems, including operating systems. It is shown that when dealing with problems of concurrency, the use of path expressions, which are associated with data, makes the task of verification simpler than when the synchronization conditions are associated with programs.