Open Bisimulation for the Concurrent Constraint Pi-Calculus.

Maria Grazia Buscemi Ugo Montanari

Published in: ESOP (2008)

Keyphrases

case study
constrained minimization
databases
open systems
computer algebra
hierarchical reinforcement learning
concurrent execution