This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
What states do we need to distinguish, and what ones do choreography have to describe?
*** Bug 323 has been marked as a duplicate of this bug. ***
the langauge will implcitly define this. if people do not like what is exposed they can raise specific issues.