A language for formal problem specification
- 1 December 1977
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 20 (12) , 931-935
- https://doi.org/10.1145/359897.359904
Abstract
A language for specifying the intended behavior of communicating parallel processes is described. The specifications are constraints on the order in which events of a computation can occur. The language is used to write specifications of the readers/writers problem and the writer priority of the second readers/ writers problem.Keywords
This publication has 3 references indexed in Scilit:
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971