Login / Signup
Toward a Formal Semantics for Autonomic Components
Marco Aldinucci
Emilio Tuosto
Published in:
CoRR (2010)
Keyphrases
</>
formal semantics
operational semantics
logical language
er model
logical reasoning
modelling language
formal language
first order logic
modeling language
knowledge base
theorem prover
data management
software components
speech acts