================================================================================
P9608   J.A. Hillebrand
        "A small language for the specification of Grid Protocols"


We present a tool that transforms a specification in a new format, geared
towards Grid Protocols, into muCRL specifications. The specification of
Grid Protocols becomes easier in the new format, while the transformation
to muCRL keeps existing muCRL tools accessible for these specifications.