\b{tabular}[t]{|r||l|p{7.5cm}|} \hline
\multicolumn{3}{|c|}{ {\bf DLP* - an overview} }
\\ \hline \hline
non-logical variables & & assigns the term t to
the non-logical variable x
\\ & & unifies the term t with the value of
the non-logical variable x
\\ \hline \hline
object creation & & creates a passive instance of object c
\\ \cline{2-3}
& & creates an active instance of object c
\\ \hline \hline
channels & & creates a new channel
\\ \cline{2-3}
& & output statement for term t over channel C
\\ & & input statement for term t over channel C
\\ \hline \hline
\multicolumn{3}{|c|}{ DLP2 - method call by rendez-vous }
\\ \hline \hline
object creation & & creates an instance of object c
\\ \cline{2-3}
rendez-vous & & calls the method for O
\\ \cline{2-3}
& & accept methods
\\ \hline \hline
process creation & & requests the evaluation of G by O
\\ \cline{2-3}
resumption & & requests the answer substitutions resulting from a
goal evaluation
\\ \cline{2-3}
synchronisation & & accept methods
\\ \hline
\e{tabular}