Modular Semantics for Transition System Specifications with Negative Premises

This page contains supporting material for a paper to be presented at CONCUR 2013, by Martin Churchill, Peter Mosses and Mohammad Mousavi.

We have:

• Author’s version of the paper. The final publication will appear in the proceedings.
• An appendix with further proofs of results in the paper.
• Some slides for Martin’s seminar at QMUL about the paper.