Also named as structural operational semantic, transition semantic.
Also named as natural semantic, relational semantic.
Also named as fixed-point semantic, mathematical semantic.
Also named as structural operational semantic, transition semantic.
Also named as natural semantic, relational semantic.
Also named as fixed-point semantic, mathematical semantic.