Login / Signup
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Ezio Bartocci
Diletta Romana Cacciagrano
Maria Rita Di Berardini
Emanuela Merelli
Luca Tesei
Published in:
Sci. Ann. Comput. Sci. (2010)
Keyphrases
</>
operational semantics
term rewriting
timed automata
data model
shape model
formal semantics
mental states
model theoretic
declarative semantics
agent programming
denotational semantics
petri net
database
multi agent
expert systems
theorem prover