Branching Processes of General S/T-Systems and their Properties

Stefan Haar 1, 2
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
2 LSV - Laboratoire Spécification et Vérification [Cachan]
Type de document :
Communication dans un congrès
Jan\v car, Petr and Křetínský, Mojmír. Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. Elsevier Science Publishers, 18, pp.65-74, 1998, 〈10.1016/S1571-0661(05)80250-6〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00638356
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:50:03
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | ENS-CACHAN

Citation

Stefan Haar. Branching Processes of General S/T-Systems and their Properties. Jan\v car, Petr and Křetínský, Mojmír. Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. Elsevier Science Publishers, 18, pp.65-74, 1998, 〈10.1016/S1571-0661(05)80250-6〉. 〈inria-00638356〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

184

Contact


archive-ouverte@inria.fr