par Massart, Thierry 
Référence Information processing letters, 40, 4, page (213-218)
Publication Publié, 1991
Référence Information processing letters, 40, 4, page (213-218)
Publication Publié, 1991
Article révisé par les pairs
| Résumé : | We present here a basic agent calculus which uses simple actions and contains six kinds of operators: the sequence, the choice, the parallel composition, the recursion, and finally the hiding and relabelling. We show that the enabling and disabling constructions, defined in the specification language LOTOS, are derived operators in this calculus. As a consequence, this calculus is a good candidate to be used as a basic calculus for LOTOS. |
