Uses of Interface
org.jcsp.lang.One2OneChannelInt