The architecture of concurrent programs
The architecture of concurrent programs
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
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
Report on the programming language Euclid
ACM SIGPLAN Notices
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
Event specification in an active object-oriented database
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
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
An overview of path Pascal's design
ACM SIGPLAN Notices
ACM SIGPLAN Notices
SLAN-4: a language for the specification and design of large software systems
IBM Journal of Research and Development
| Hi-index | 0.00 |
This paper describes the enhancement of Pascal to specify synchronization between concurrent processes by Path Expressions. The extended language is being used to gain experience in the design and construction of practical real time systems and operating systems. An encapsulation mechanism is included to synchronize all accesses to encapsulated data. A network message transfer system is presented as an extended example of the use of Path Expressions.