Login / Signup
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination.
Tsubasa Shoshi
Takuma Ishikawa
Naoki Kobayashi
Ken Sakayori
Ryosuke Sato
Takeshi Tsukada
Published in:
CoRR (2021)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
control flow
integrity constraints
deductive databases
static analysis
database
databases
query processing
data sources
object oriented databases
business rules