Package: jcsp.util

[Java] Interface ChannelDataStore