Operational Semantics and Rewriting Logic in Membrane Computing.

Oana Andrei Dorel Lucanu Gabriel Ciobanu

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

operational semantics
formal semantics
model theoretic
declarative semantics
mental states
term rewriting
agent programming
data model
database
petri net
denotational semantics
case study
database systems
relational databases
modal logic
speech acts