Termination in Concurrency, Revisited.

Joseph W. N. Paulus Jorge A. Pérez Daniele Nantes-Sobrinho

Published in: PPDP (2023)

Keyphrases

concurrency control
database systems
concurrent execution
transaction processing
data flow
active rules
term rewriting
rewrite systems
real time
information retrieval
term rewrite systems
similarity measure
expert systems
programming language
database management systems
concurrency control protocols