A language for formal problem specification
Irene Greif · Communications of the ACM · 1977
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.