Determinacy in a synchronous pi-calculus

Roberto M. Amadio Mehdi Dogguy

Published in: CoRR (2007)

Keyphrases

asynchronous communication
conjunctive queries
automated deduction
query rewriting
computer algebra
neural network
artificial intelligence
provably correct
databases
algebraic structure
pi control