\b{tabular}[t]{|r||l|p{5.5cm}|} \hline
\multicolumn{3}{|c|}{ {M DLP1 = DLP0 + communication over channels M} }
\\ \hline \hline
\xstrut object creation & & creates an object executing
\\ \cline{2-3}
\xstrut channels & & creates a new channel
\\ \cline{2-3}
\xstrut & & output statement for term t over channel C
\\ & & input statement for term t over channel C
\\ \hline
\e{tabular}