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