A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The temporal semantics of concurrent programs
1981
Theoretical Computer Science
The formalism of Temporal Logic is suggested as an appropriate tool for formalizing the semantics of concurrent programs. A simple model of concurrent program is presented in which n protissors are executing concurrent n disjoint programs under a shared memory environment. The, semantics of such a program specifies the class of state sequences which are admissible as proper execution sequences under the program. The two main criteria which are required are (a) Each state is obtained from its
doi:10.1016/0304-3975(81)90110-9
fatcat:ly6omswc6ndq7aj64d77fjkhre