Temporal Semantics of Programs
We want to apply temporal logic to the description of (the computational behaviour of) programs and their verification. For the sake of technical conciseness we restrict the programs to a fixed (somewhat abstract) syntactic form.
KeywordsTemporal Logic Elementary Statement Mutual Exclusion Propositional Variable Parallel Component
Unable to display preview. Download preview PDF.