Termination in Concurrency, Revisited.

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

Published in: CoRR (2023)

Keyphrases

concurrency control
rewrite systems
database systems
term rewriting
multiscale
transaction processing
concurrent execution
termination analysis
term rewrite systems
artificial neural networks
real time
information systems
search algorithm
distributed systems
software systems
nested transactions