Towards Modelling Actor-Based Concurrency in Term Rewriting.

Adrián Palacios Germán Vidal

Published in: WPTE@RTA/TLCA (2015)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
database systems
transaction processing
databases
artificial intelligence
data model
computational intelligence
first order logic
model checking
concurrent execution