The RMC Barrier[HG91]
The RMC Barrier[HG91]
Theorem: there is no semantics Sd which is Responsive, Modular and Causal (is RMC).
Therefore: any semantics Sd which is RMC also allows for inconsistent programs
Therefore: not all programs have an S = SdoPd
EuroVHDL, Sep. 96