CSPM-CoreLanguage-0.3.0.1: Definition of a FDR-compatible CSP core-language.

Index

allEventsCSPM.CoreLanguage.Event
AParallelCSPM.CoreLanguage.Process, CSPM.CoreLanguage
aparallelCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
AProcessCSPM.CoreLanguage.Process, CSPM.CoreLanguage
BECSPM.CoreLanguage.Event, CSPM.CoreLanguage
BFCSPM.CoreLanguage.Field, CSPM.CoreLanguage
BLCSPM.CoreLanguage.Process, CSPM.CoreLanguage
channelLenCSPM.CoreLanguage.Field
ChaosCSPM.CoreLanguage.Process, CSPM.CoreLanguage
chaosCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
closureRestoreCSPM.CoreLanguage.Field
ClosureStateCSPM.CoreLanguage.Field, CSPM.CoreLanguage
closureStateInitCSPM.CoreLanguage.Field
closureStateNextCSPM.CoreLanguage.Field
ClosureViewCSPM.CoreLanguage.Field, CSPM.CoreLanguage
coreLanguageVersionCSPM.CoreLanguage
delete 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
difference 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
EventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
eventEqCSPM.CoreLanguage.Event
EventSetCSPM.CoreLanguage.Event, CSPM.CoreLanguage
eventSetToListCSPM.CoreLanguage.Event
ExceptionCSPM.CoreLanguage.Process, CSPM.CoreLanguage
ExternalChoiceCSPM.CoreLanguage.Process, CSPM.CoreLanguage
externalChoiceCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
ExtProcessCSPM.CoreLanguage.Process, CSPM.CoreLanguage
FieldCSPM.CoreLanguage.Field, CSPM.CoreLanguage
fieldEqCSPM.CoreLanguage.Field
FieldGuardCSPM.CoreLanguage.Field, CSPM.CoreLanguage
FieldInCSPM.CoreLanguage.Field, CSPM.CoreLanguage
FieldOutCSPM.CoreLanguage.Field, CSPM.CoreLanguage
FieldSetCSPM.CoreLanguage.Field, CSPM.CoreLanguage
fieldSetFromListCSPM.CoreLanguage.Field
fieldSetToListCSPM.CoreLanguage.Field
getRenamingDomainCSPM.CoreLanguage.Event
getRenamingRangeCSPM.CoreLanguage.Event
HideCSPM.CoreLanguage.Process, CSPM.CoreLanguage
hideCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
imageRenamingCSPM.CoreLanguage.Event
InClosureCSPM.CoreLanguage.Field, CSPM.CoreLanguage
insert 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
InterleaveCSPM.CoreLanguage.Process, CSPM.CoreLanguage
interleaveCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
InternalChoiceCSPM.CoreLanguage.Process, CSPM.CoreLanguage
internalChoiceCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
InterruptCSPM.CoreLanguage.Process, CSPM.CoreLanguage
interruptCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
intersection 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
isInRenamingCSPM.CoreLanguage.Event
isInRenamingDomainCSPM.CoreLanguage.Event
isInRenamingRangeCSPM.CoreLanguage.Event
isOmegaCSPM.CoreLanguage.Process, CSPM.CoreLanguage
joinFieldsCSPM.CoreLanguage.Field
LinkParallelCSPM.CoreLanguage.Process, CSPM.CoreLanguage
linkParallelCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
MaybeInClosureCSPM.CoreLanguage.Field, CSPM.CoreLanguage
member 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
NotInClosureCSPM.CoreLanguage.Field, CSPM.CoreLanguage
null 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
OmegaCSPM.CoreLanguage.Process, CSPM.CoreLanguage
Prefix 
1 (Data Constructor)CSPM.CoreLanguage.Process, CSPM.CoreLanguage
2 (Type/Class)CSPM.CoreLanguage.Process, CSPM.CoreLanguage
prefixCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
PrefixFieldViewCSPM.CoreLanguage.Field, CSPM.CoreLanguage
prefixNextCSPM.CoreLanguage.Process, CSPM.CoreLanguage
PrefixStateCSPM.CoreLanguage.Field, CSPM.CoreLanguage
prefixStateFinalizeCSPM.CoreLanguage.Field
prefixStateInitCSPM.CoreLanguage.Field
prefixStateNextCSPM.CoreLanguage.Field
preImageRenamingCSPM.CoreLanguage.Event
ProcessCSPM.CoreLanguage.Process, CSPM.CoreLanguage
RenamingCSPM.CoreLanguage.Process, CSPM.CoreLanguage
renamingCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
renamingFromListCSPM.CoreLanguage.Event
RenamingRelationCSPM.CoreLanguage.Event, CSPM.CoreLanguage
renamingToListCSPM.CoreLanguage.Event
RepAParallelCSPM.CoreLanguage.Process, CSPM.CoreLanguage
repAParallelCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repExternalChoiceCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repInterleaveCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repInternalChoiceCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repLinkParallelCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repSeqCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
repSharingCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
seenPrefixInClosureCSPM.CoreLanguage.Field
SeqCSPM.CoreLanguage.Process, CSPM.CoreLanguage
seqCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
SEventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
SharingCSPM.CoreLanguage.Process, CSPM.CoreLanguage
sharingCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
ShowEventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
showEventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
ShowTTECSPM.CoreLanguage.Event, CSPM.CoreLanguage
showTTECSPM.CoreLanguage.Event, CSPM.CoreLanguage
SigmaCSPM.CoreLanguage.Event, CSPM.CoreLanguage
singleEventToClosureSetCSPM.CoreLanguage.Event
singleton 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
SkipCSPM.CoreLanguage.Process, CSPM.CoreLanguage
skipCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
splitFieldsCSPM.CoreLanguage.Field
StopCSPM.CoreLanguage.Process, CSPM.CoreLanguage
stopCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
SwitchedOffCSPM.CoreLanguage.Process, CSPM.CoreLanguage
switchedOffCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
switchOnCSPM.CoreLanguage.Process, CSPM.CoreLanguage
TauEventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
TickEventCSPM.CoreLanguage.Event, CSPM.CoreLanguage
TimeoutCSPM.CoreLanguage.Process, CSPM.CoreLanguage
timeoutCSPM.CoreLanguage.ProcessWrapper, CSPM.CoreLanguage
TTECSPM.CoreLanguage.Event, CSPM.CoreLanguage
union 
1 (Function)CSPM.CoreLanguage.Event
2 (Function)CSPM.CoreLanguage.Field
viewClosureFieldsCSPM.CoreLanguage.Field
viewClosureStateCSPM.CoreLanguage.Field
viewPrefixStateCSPM.CoreLanguage.Field