1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Casper Bach Poulsen, Peter D. Mosses
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termina…