Operational Semantics for the Petri Box Calculus.

Maciej Koutny Javier Esparza Eike Best

Published in: CONCUR (1994)

Keyphrases

operational semantics
term rewriting
formal semantics
mental states
data model
model theoretic
activity diagrams
declarative semantics
denotational semantics
relational databases
query language
life cycle
language processing
agent programming