Loosing abstraction due to non-alting channels

[M_Boosten <mboosten@xxxxxxxxxxxxxxxxxxx>]

Hi everyone,

Consider two CSP processes:

Process A(in a) {
  while (TRUE) {
    a?x;
  }
}

Process B(in a) {
  while (TRUE) {
    ALT
      a -> a?x;
  }
}

Both these processes have "a*" as _pattern_. I think in CSP
terms: A == B.

However, JCSP contains channels on which ALTing is not allowed.
Process A can be connected to such channel.  Whereas process
B cannot be connected to such channel.  So, in JCSP: A != B.

In JCSP details about the implementation of the process
need to be known to use processes: some degree of abstraction
and composability is lost.

Cheers,
  Marcel