Concepedia

Simulation distances

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna

Theoretical Computer Science · 2011 · 50 citations · 14 references

DOIFull text

Open access

References

14

Error Detecting and Error Correcting Codes

R. W. Hamming · Bell System Technical Journal · 1950 · 5.1K citations · Full text

, , +17

ERROR DETECTING AND ERROR CORRECTING CODES

Neha Chauhan, Pooja Yadav, Preeti Kumari · 2014 · 3.2K citations

, , +17

The Use of Triple-Modular Redundancy to Improve Computer Reliability

Robbie Eric Lyons, W. Vanderkulk · IBM Journal of Research and Development · 1962 · 768 citations

, , +14

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

, , +11

Trees, automata, and games

Yuri Gurevich, Leo Harrington · 1982 · 326 citations

, , +10