Modular Semantics for Transition System Specifications with Negative Premises
| Title | Modular Semantics for Transition System Specifications with Negative Premises |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Churchill, M, Mosses, PD, Mousavi, MR |
| Conference Name | CONCUR 2013 – Concurrency Theory |
| Publisher | Springer |
Work Package:
WP1
