Choice in the time-left procedure and in concurrent chains with a time-left terminal link

Choice in the time-left procedure and in concurrent chains with a time-left terminal link