Proof-relevant π-calculus: a constructive account of concurrency and causality.

Roly Perera James Cheney

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

automated theorem proving
natural deduction
theorem prover
provably correct
concurrency control
linear logic
proof procedure
computer algebra
proof search
database systems
theorem proving
data flow
sequent calculus