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?
•
•