scientific article; zbMATH DE number 7204953

DOI10.4230/LIPICS.CONCUR.2017.36MaRDI QIDQ5111650zbMATH OpenFDO

Authors Nicolas Basset, Jean Mairesse, Michèle Soria

Publication date 27 May 2020

zbMATH Keywords

recursive methoduniform samplingBoltzmann samplingParry measurepartially synchronised automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Sampling automata and programs
• Uniform sampling for timed automata with application to language inclusion measurement
• scientific article; zbMATH DE number 1827972
• scientific article; zbMATH DE number 1424146
• scientific article; zbMATH DE number 956807
• On synchronizing automata and uniform distribution
• Deterministic Sampling Algorithms for Network Design
• Deterministic sampling algorithms for network design

Cites work

• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1775630 (Why is no real title available?)
• scientific article; zbMATH DE number 2183071 (Why is no real title available?)
• scientific article; zbMATH DE number 7204953 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A calculus for the random generation of labelled combinatorial structures
• A linear algorithm for the random sampling from regular languages
• A new dichotomic algorithm for the uniform random generation of words in regular languages
• Analytic combinatorics
• Automata on distributed alphabets
• Biased Boltzmann samplers and generation of extended linear languages with shuffle
• Boltzmann Samplers for the Random Generation of Combinatorial Structures
• Noncommutative rational series with applications
• The Combinatorics of Non-determinism
• The Shuffle Product: New Research Directions
• Tools and Algorithms for the Construction and Analysis of Systems
• Uniform generation in trace monoids

Cited in

(6)

• scientific article; zbMATH DE number 7524075 (Why is no real title available?)
• The Combinatorics of Barrier Synchronization
• A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space
• A combinatorial study of async/await processes
• scientific article; zbMATH DE number 7204953 (Why is no real title available?)
• Sampling different kinds of acyclic automata using Markov chains

This page was built for publication:

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