Uses of Interface
org.jcsp.net.dynamic.MigratableChannelInput

Packages that use MigratableChannelInput

org.jcsp.net.dynamic

Supports dynamic operations over the JCSP.NET infrastructure.

Uses of MigratableChannelInput in org.jcsp.net.dynamic

Classes in org.jcsp.net.dynamic that implement MigratableChannelInput

class

MigratableAltingChannelInput A migratable input channel end that can be used as a guard within an Alternative.