Concepedia

A general method for rendering static analyses for diverse concurrency models modular

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Journal of Systems and Software · 2018 · 15 citations · 61 references

Concepts

ComputingComputer EngineeringComputer ScienceFormal MethodsRenderingConcurrency AnalysisConcurrency ControlConcurrent ModelingConcurrent ProgrammingData-flow AnalysisStatic AnalysisConcurrency Control FlowConcurrency ModelsConcurrency SemanticsConcurrency TheoryConcurrent Computing ModelsConcurrent Model ExecutionStatic Concurrency Analysis

References

61

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Natural Sciences, Computer Science, Mathematics +9

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Computing, Computer Science, Formal Methods +15

A universal modular ACTOR formalism for artificial intelligence

Carl Hewitt, Peter Bishop, Richard de Steiger · International Joint Conference on Artificial Intelligence · 1973 · 895 citations

Computing, Computer Science, Artificial Intelligence +7

Model checking for programming languages using VeriSoft

Patrice Godefroid · 1997 · 829 citations · Full text

Computing, Computer Science, Computer Systems +17

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger · International Journal on Software Tools for Technology Transfer · 2000 · 800 citations · Full text

Computing, Computer Engineering, Computer Science +10