promela/spin

[Philip Newman]

how can I implement message duplication in promela?

I can do message loss easily enough, but not sure about message duplication.

cheers

phil