par Devillers, Raymond ;Klaudel, Hanna;Koutny, Maciej
Référence Formal aspects of computing, 20, 4-5, page (429-450)
Publication Publié, 2008-07
Référence Formal aspects of computing, 20, 4-5, page (429-450)
Publication Publié, 2008-07
Article révisé par les pairs
Titre: |
|
Auteur: | Devillers, Raymond; Klaudel, Hanna; Koutny, Maciej |
Informations sur la publication: | Formal aspects of computing, 20, 4-5, page (429-450) |
Statut de publication: | Publié, 2008-07 |
Sujet CREF: | Informatique appliquée logiciel |
Informatique mathématique | |
Mots-clés: | π-Calculus |
Compositional translation | |
Mobility | |
Petri nets | |
Process algebra | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0934-5043 |
info:doi/10.1007/s00165-008-0079-2 | |
info:scp/46249126109 |