Abstract
The enhancement of Pascal to specify synchronization between concurrent processes by path expressions is described. 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 access to encapsulated data. A network message transfer system is presented as an extended example of the use of path expressions.
| Original language | English (US) |
|---|---|
| Pages | 212-219 |
| Number of pages | 8 |
| State | Published - 1979 |
| Externally published | Yes |
| Event | Int Conf on Software Eng, 4th, Proc Tech Univ of Munich - Duration: Sep 17 1979 → Sep 19 1979 |
Conference
| Conference | Int Conf on Software Eng, 4th, Proc Tech Univ of Munich |
|---|---|
| Period | 9/17/79 → 9/19/79 |
ASJC Scopus subject areas
- General Engineering