Semantics slightly changed for Sequence operator. New Examples added. Some experiments on communication added in trash/