A synchronous pi-calculus.

Roberto M. Amadio

Published in: Inf. Comput. (2007)

Keyphrases

databases
asynchronous communication
computer algebra
proof procedure
algebraic structure
data sets
neural network
information retrieval
multi agent
formal language