par Devillers, Raymond ;Klaudel, Hanna;Pelz, Elisabeth
Référence Journal of automata, languages and combinatorics, 5, 2, page (81-107)
Publication Publié, 2000
Référence Journal of automata, languages and combinatorics, 5, 2, page (81-107)
Publication Publié, 2000
Article révisé par les pairs
Titre: |
|
Auteur: | Devillers, Raymond; Klaudel, Hanna; Pelz, Elisabeth |
Informations sur la publication: | Journal of automata, languages and combinatorics, 5, 2, page (81-107) |
Statut de publication: | Publié, 2000 |
Sujet CREF: | Informatique mathématique |
Mots-clés: | Petri nets, algebraic specifications, synchronization, compositional models |
Langue: | Anglais |
Identificateurs: | urn:issn:1430-189X |