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
;Koutny, MaciejRé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 |
