Theoretical Computer Science · 1981 · 701 citations · 19 references
ComputingComputer ScienceComputer SystemsFormal MethodsProgramming LanguagesReal-time SystemsConcurrency AnalysisConcurrency ControlConcurrent ModelingConcurrent ProgrammingSynchronization PrimitivesTemporal LogicConcurrency LogicConcurrency SemanticsConcurrency TheoryConcurrent SemanticsSynchronization Semantics
19
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations
The Semantics of a Simple Language for Parallel Programming.
Gilles Kahn · IFIP Congress · 1974 · 2.1K citations
An axiomatic proof technique for parallel programs I
Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations
Formal verification of parallel programs
Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text