A quantitative study of pure parallel processes
O Bodini, A Genitrini, F Peschanski - arXiv preprint arXiv:1407.1873, 2014 - arxiv.org
In this paper, we study the interleaving--or pure merge--operator that most often
characterizes parallelism in concurrency theory. This operator is a principal cause of the so …
characterizes parallelism in concurrency theory. This operator is a principal cause of the so …
[PDF][PDF] Uniform sampling for networks of automata
N Basset, J Mairesse, M Soria - 28th International Conference on …, 2017 - drops.dagstuhl.de
We call network of automata a family of partially synchronised automata, ie a family of
deterministic automata which are synchronised via shared letters, and evolve independently …
deterministic automata which are synchronised via shared letters, and evolve independently …
The ordered and colored products in analytic combinatorics: application to the quantitative study of synchronizations in concurrent processes
In this paper, we study two operators for composing combinatorial classes: the ordered
product and its dual, the colored product. These operators have a natural interpretation in …
product and its dual, the colored product. These operators have a natural interpretation in …
Asymptotic properties of some minor-closed classes of graphs
M Bousquet-Mélou, K Weller - Combinatorics, Probability and …, 2014 - cambridge.org
Let. We classify our examples accordingly, thus taking a first step towards a classification of
minor-closed classes of graphs. Furthermore, we investigate a parameter that has not …
minor-closed classes of graphs. Furthermore, we investigate a parameter that has not …
Enumeration and random generation of unlabeled classes of graphs: A practical study of cycle pointing and the dissymmetry theorem
A Iriza - arXiv preprint arXiv:1511.06037, 2015 - arxiv.org
Our work studies the enumeration and random generation of unlabeled combinatorial
classes of unrooted graphs. While the technique of vertex pointing provides a …
classes of unrooted graphs. While the technique of vertex pointing provides a …
Combinatoire énumérative et analytique en Logique Propositionnelle et en Théorie de la Concurrence: Vers une quantification de l'expressivité des modèles
A Genitrini - 2017 - hal.sorbonne-universite.fr
Ce mémoire présente des études combinatoires et algorithmiques de la logique booléenne
et de la théorie de la concurrence. Bien qu'il ne semble pas y avoir de relation directe entre …
et de la théorie de la concurrence. Bien qu'il ne semble pas y avoir de relation directe entre …
[PDF][PDF] Constructions par greffe, combinatoire analytique et génération aléatoire
A Jacquot - 2014 - core.ac.uk
Une structure combinatoire est un objet mathématique discret. Il en existe de très
nombreuses sortes, des listes chaînées aux polynômes sur des corps finis, en passant par …
nombreuses sortes, des listes chaînées aux polynômes sur des corps finis, en passant par …
Constructions par greffe, combinatoire analytique et génération analytique
A Jacquot - 2014 - theses.hal.science
Une structure combinatoire est un objet mathématique discret. Il en existe de très
nombreuses sortes, des listes chaînées aux polynômes sur des corps finis, en passant par …
nombreuses sortes, des listes chaînées aux polynômes sur des corps finis, en passant par …
[PDF][PDF] A Quantitative Study of Pure Parallel Processes (preprint)
O Bodini, A Genitrini, F Peschanski - 2013 - www-apr.lip6.fr
In this paper, we study the interleaving–or pure merge–operator that most often
characterizes parallelism in concurrency theory. This operator is a principal cause of the so …
characterizes parallelism in concurrency theory. This operator is a principal cause of the so …
[引用][C] Génération aléatoire de structures ordonnées par le modèle de Boltzmann
MC MARTÍNEZ - 2012 - Université Pierre et Marie Curie