Closed joey-coleman closed 10 years ago
The following example causes a parse error.
channels a, b : nat * nat process P = begin actions A = Skip @ A [[ a.(1).(1) <- b.(1).(1) ]] end
The following example causes a parse error.