\b{tabular}[t]{|r||l|p{6.5cm}|} \hline \multicolumn{3}{|c|}{ {M DLP3 = DLP2 + conditional acceptance M} } \\ \hline \hline synchronization & accept(e1,...,e_n) & accepts any call satisfying an accept expression e_i \\ \hline \e{tabular}