Implementing CCS in Maude 2.

Alberto Verdejo Narciso Martí-Oliet

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

information systems
website
software engineering
formal specification
metadata
three dimensional
object recognition
efficient implementation
equational theories