Package Bindings

Class Summary
BindingOperations Operations to bind abstract application automata actions to concrete protocol send and receive actions.