On sequentiality and well-bracketing in the π-calculus.

Daniel Hirschkoff Enguerrand Prebet Davide Sangiorgi

Published in: CoRR (2021)

Keyphrases

automated deduction
learning algorithm
computer algebra
real time
databases
real world
case study
algebraic structure
provably correct