Binding and state
Monday, April 05, 2010
2:31 PM
Binding and state
A choreography is a description of coordinated state. 
Can accumulate state on each side of a transaction.
State is represented via state variables. 
These are defined outside the choreography.