Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.

Juan Francisco Díaz Camilo Rueda Frank D. Valencia

Published in: CLEI Electron. J. (1998)

Keyphrases

cardinal directions
computer algebra
databases
learning algorithm
petri net
automated theorem proving
concurrent processes
relational databases
geometric constraints
constrained optimization
linear constraints
interval algebra
proof procedure