The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes

DOI10.1137/1.9781611974775.2zbMath1429.68145OpenAlexW2570132618WikidataQ60692538 ScholiaQ60692538MaRDI QIDQ5195032

Antoine Genitrini, Matthieu Dien, Olivier Bodini, Frédéric Peschanski

Publication date: 17 September 2019

Published in: 2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/1.9781611974775.2

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space ⋮ On the number of increasing trees with label repetitions ⋮ Unnamed Item ⋮ Asymptotic enumeration of compacted binary trees of bounded right height

This page was built for publication: The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes