par Devillers, Raymond
;Koutny, Maciej
Référence Application of Concurrency to System Design, Proceedings of the International conference on, IEEE, Fukushima, page (239-249)
Publication Publié, 1998-03

Référence Application of Concurrency to System Design, Proceedings of the International conference on, IEEE, Fukushima, page (239-249)
Publication Publié, 1998-03
Partie d'ouvrage collectif
Titre: |
|
Auteur: | Devillers, Raymond; Koutny, Maciej |
Informations sur la publication: | Application of Concurrency to System Design, Proceedings of the International conference on, IEEE, Fukushima, page (239-249) |
Statut de publication: | Publié, 1998-03 |
Sujet CREF: | Informatique mathématique |
Mots-clés: | Petri nets |
computability | |
equations | |
process algebra | |
recursive functions | |
Langue: | Anglais |
Identificateurs: | urn:isbn:0-8186-8350-3 |
info:doi/10.1109/CSD.1998.657555 | |
info:scp/84957711312 |