Copyright	(c) Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swan.ac.uk
Stability	experimental
Portability	portable
Safe Haskell	None

CspCASL.Parse_CspCASL

Description

Parser for CSP-CASL specifications.

Documentation