2 Forms of Sequential Equivalence
Two forms of Sequential equivalence based on what you mean by the phrase “equivalent to the single threaded execution”:
- Strong SE: bitwise identical results.
- Weak SE: equivalent mathematically but due to quirks of floating point arithmetic, not bitwise identical.