Definitions of decoction mashing:

• noun:   a process in which part of the mash is removed and boiled and then returned