hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CspCASL.CCKeywords
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
CSP-CASL keywords
Synopsis
ccspecS
::
String
dataS
::
String
channelS
::
String
processS
::
String
endS
::
String
equalS
::
String
letS
::
String
inS
::
String
semicolonS
::
String
commaS
::
String
colonS
::
String
skipS
::
String
stopS
::
String
ifS
::
String
thenS
::
String
elseS
::
String
whenS
::
String
varS
::
String
oRBracketS
::
String
cRBracketS
::
String
oSBracketS
::
String
cSBracketS
::
String
multiPreS
::
String
extChoiceS
::
String
intChoiceS
::
String
oAlPaS
::
String
cAlPaS
::
String
oGenPaS
::
String
mGenPaS
::
String
cGenPaS
::
String
synParaS
::
String
interParaS
::
String
hidingS
::
String
oRenamingS
::
String
cRenamingS
::
String
prefixS
::
String
sendS
::
String
receiveS
::
String
chanRenS
::
String
csp_casl_keywords
:: [
String
]
Produced by
Haddock
version 0.6