Implementing CCS in Maude.

Alberto Verdejo Narciso Martí-Oliet

Published in: FORTE (2000)

Keyphrases

artificial intelligence
database
information systems
efficient implementation
databases
machine learning
image processing
three dimensional
reinforcement learning
markov random field
formal specification
equational theories