Commutativity for Concurrent Program Termination Proofs.

Danya Lette Azadeh Farzan

Published in: CAV (1) (2023)

Keyphrases

computer programs
concurrent programs
term rewriting
theorem proving
formal proof
social networks
information systems
static analysis
equational theories
machine learning
artificial intelligence
e learning
query processing
petri net
integrity constraints
formal proofs