Titre:
  • Structured Operational Semantics of Asynchronous Links in PBC
Auteur:Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej; Pelz, Elisabeth; Pommereau, Franck
Informations sur la publication:HSPC'02, page (314-319)
Statut de publication:Publié, 2002
Sujet CREF:Informatique mathématique
Langue:Anglais