Modular Semantics for Transition System Specifications with Negative Premises.
Martin ChurchillPeter D. MossesMohammad Reza MousaviPublished in: CONCUR (2013)
Keyphrases
- specification language
- operational semantics
- control flow
- derivation rules
- semantic information
- logic programming
- positive and negative
- formal specification
- formal semantics
- delay insensitive
- object oriented
- inference rules
- description language
- formal language
- semantic representation
- modular structure
- asynchronous circuits
- semantic constraints
- genetic algorithm
- keywords