Issues
•If choreography is all about private implementations what distinguishes it from a programming language?
•
•How is public service description related to private implementation in such a way that private implementation can be verified against public description? Is this where bi-simulations come into play?
•
•