Login / Signup
Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci
Diletta Romana Cacciagrano
Maria Rita Di Berardini
Emanuela Merelli
Luca Tesei
Published in:
CoRR (2010)
Keyphrases
</>
operational semantics
term rewriting
timed automata
formal semantics
model theoretic
data model
shape model
declarative semantics
petri net
mental states
denotational semantics
database
online learning
agent programming
activity diagrams