Login / Signup

On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.

Roberto M. Amadio
Published in: CONCUR (1993)
Keyphrases
  • optimal planning
  • real time
  • databases
  • evolutionary algorithm
  • equivalence relation