A Combinatorial Study of Async/Await Processes - Archive ouverte HAL Access content directly
Conference Papers Year :

A Combinatorial Study of Async/Await Processes

Matthieu Dien
  • Function : Author
  • PersonId : 1158794
Antoine Genitrini
  • Function : Author
  • PersonId : 881263
Frederic Peschanski
  • Function : Author
  • PersonId : 1012844


In this paper we study families of async/await concurrent processes using techniques and tools from (enumerative) combinatorics and order theory. We consider the count of process executions as the primary measure of "complexity", which closely relates to the (in general, difficult) problem of counting linear extensions of partial orders. Interestingly, the control structures of async/await processes fall into the subclass of what we call the BIT-decomposable posets, providing an effective way to count executions in practice. We also show that async/await processes can be seen as generalizations of families of interval orders, a well-studied class of partial orders. Based on this combinatorial study, we define a variety of uniform random generation algorithms. We consider on the one side the generation of process structures, and on the other side the generation of execution paths-which is performed without requiring the explicit construction of the state-space.
Fichier principal
Vignette du fichier
parco-ictac2022.pdf (626.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03767986 , version 1 (02-09-2022)



Matthieu Dien, Antoine Genitrini, Frederic Peschanski. A Combinatorial Study of Async/Await Processes. The 19th International Colloquium on Theoretical Aspects of Computing, Sep 2022, Tbilisi, Georgia. pp.170-187, ⟨10.1007/978-3-031-17715-6_12⟩. ⟨hal-03767986⟩
54 View
32 Download



Gmail Facebook Twitter LinkedIn More