L.0: a parallel executable temporal logic language

Abstract

The purpose of this paper is to present the subset of temporal logic, that has been found useful and accessible to programmers of communications software, and to present the additional assumptions and structuring operators which had to be ad’ded to make this subset into a viable programming language. The resulting language is called L.0’. The fact that enhancements to temporal logic are necessary to make it a viable programming language should not be surprising, since a standard criticism of temporal logic is that it is: “global, non-modular, and noncompositional’~‘l.