Interface | Description |
---|---|
JCSPCopy | |
MobileAgent |
Class | Description |
---|---|
ALT | ALT provides an easier way of creating the non-deterministic choice Alternative class of JCSP |
ChannelInputList | ChannelInputList is used to create a list of ChannelInputEnds |
ChannelOutputList | |
DynamicMobileProcess | |
PAR |