This page contains supporting material for Modular Semantics for Transition System Specifications with Negative Premises, a paper to be presented at CONCUR 2013 by Martin Churchill, Peter Mosses and Mohammad Mousavi. We have:

• Author’s version of the paper itself [concur13]. The final publication will appear at springerlink.com.
• An appendix with further proofs of results in the paper [concur13-proofs].
• Some slides for Martin’s seminar at QMUL about the paper [qmultalk].