Modular Semantics for Transition System Specifications with Negative Premises.

Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi

Browse the full CONCUR paper archive.