Sequential composition of multi-party choreographies | IEEE Conference Publication | IEEE Xplore