A Small-Step Semantics for Janus.

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani

Browse the full RC paper archive.