Interpreting a Finitary Pi-calculus in Differential Interaction Nets.

Thomas Ehrhard Olivier Laurent

Published in: CONCUR (2007)

Keyphrases

artificial intelligence
finite state
human computer interaction
database
information retrieval
user interaction
answer set programming
automated deduction