Searched defs:CspCASL (Results 1 - 1 of 1) sorted by relevance

/hets/CspCASL/Grammar/
H A DCspCaslSyntax.tex6 \title{CspCASL syntax description}
14 CspCASL is designed as CASL extension with additional channel and process
45 CspCASL or CASL items. Sort, operation and predicate items can be freely mixed
48 \section{Basic CspCASL Items}
131 names, in order to avoid confusion with the CspCASL builtin infix operators.

Completed in 870 milliseconds