The refine sublanguage

The refine sub-language takes the form

refine {
    /* any standard ACT body element can appear here */
}

This is used to provide an implementation of a process that replaces the CHP, dataflow, HSE, or PRS body.