41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowski{- | CspCASL combines the process algebra CSP with CASL;
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till MossakowskiCASL data elements serve as process alphabet letters.
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till MossakowskiThe modules for CspCASL are built on top of those for "CASL",
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowskiusing the holes for future extensions that have been left in the
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowskidatatypes for CASL.
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowski"CspCASL.CCKeywords", "CspCASL.CCLexer", "CspCASL.CCToken", "CspCASL.Parse_hugo" preliminary parser
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowski"CspCASL.LaTeX_AS_CSP_CASL", "CspCASL.Print_AS_CSP_CASL" pretty printing
bb83db66bd9b3b4ce67be66419daf29886175276Andy Gimblett"CspCASL.StatAnaCSP" static analysis.
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowski"CspCASL.ATC_CspCASL" ATerm conversion
41cff438a611c7aac5b2a2c3e395fc5b88d68230Till Mossakowski"CspCASL.Logic_CspCASL" the CspCASL instance of 'Logic.Logic.Logic'
bb83db66bd9b3b4ce67be66419daf29886175276Andy GimblettSee "Tool Support for CSP-CASL", MPhil thesis by Andy Gimblett, 2008.
4918e2f622cfb96f9a57b7617cd18ca7e4f8b5d4Christian Maedermodule CspCASL where