The Combinatorics of Non-determinism

DOI10.4230/LIPICS.FSTTCS.2013.425MaRDI QIDQ2963932zbMATH OpenOpenAlexFDO

Authors Olivier Bodini, Antoine Genitrini, Frédéric Peschanski

Publication date 21 February 2017

Full work available at URL https://hal.science/hal-01216553

zbMATH Keywords

analytic combinatoricsconcurrency theorynondeterministic choicepartially increasing treesuniform random generation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatorics in computer science (68R05)

Recommendations

• The determinism of randomness and its use in combinatorics
• Kolmogorov complexity and non-determinism
• Combinatorics, complexity, and randomness
• Multiplicities: A deterministic view of nondeterminism
• scientific article; zbMATH DE number 1324656
• scientific article; zbMATH DE number 3894449
• scientific article; zbMATH DE number 4149545
• Interactions of computability and randomness

Cited in

(12)

• Extended boxed product and application to synchronized trees
• A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space
• Increasing diamonds
• Enumeration and random generation of concurrent computations
• Probabilistic Choice, Reversibility, Loops, and Miracles
• scientific article; zbMATH DE number 5840297 (Why is no real title available?)
• Beyond series-parallel concurrent systems: the case of arch processes
• Quantitative and algorithmic aspects of barrier synchronization in concurrency
• scientific article; zbMATH DE number 7204953 (Why is no real title available?)
• Associativity for binary parallel processes: a quantitative study
• The Combinatorics of Barrier Synchronization
• A quantitative study of pure parallel processes

This page was built for publication: The Combinatorics of Non-determinism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963932)