Mapping Modular SOS to Rewriting Logic.

Christiano de Oliveira Braga, Edward Hermann Haeusler, Jos Meseguer, Peter D. Mosses

Browse the full LOPSTR paper archive.