par Massart, Thierry
Référence Information processing letters, 40, 4, page (213-218)
Publication Publié, 1991
Article révisé par les pairs
Titre:
  • An agent calculus with simple actions where the enabling and disabling are derived operators
Auteur:Massart, Thierry
Informations sur la publication:Information processing letters, 40, 4, page (213-218)
Statut de publication:Publié, 1991
Sujet CREF:Informatique mathématique
Mots-clés:Disabling
Enabling
Process algebra
Theory of computation
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0020-0190
info:doi/10.1016/0020-0190(91)90080-2
info:scp/0026258284