Search Results - "concurrency theory. analytic combinatorics. shuffle. random generation. linear extension."

Enumeration and Random Generation of Concurrent Computations

Authors: Bodini, Olivier Genitrini, Antoine Peschanski, Frédéric et al.

Contributors: Bodini, Olivier Genitrini, Antoine Peschanski, Frédéric et al.

Source: ISSN: 1462-7264.

Subject Terms: Concurrency theory. Analytic combinatorics. Shuffle. Random generation. Linear extension, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

Subject Geographic: Montreal

Time: Montreal, Canada

Availability: https://inria.hal.science/hal-01197236
https://inria.hal.science/hal-01197236v1/document
https://inria.hal.science/hal-01197236v1/file/dmAQ0108.pdf
https://doi.org/10.46298/dmtcs.2986

Enumeration and Random Generation of Concurrent Computations †

Authors: Olivier Bodini Antoine Genitrini Frédéric Peschanski et al.

Contributors: Olivier Bodini Antoine Genitrini Frédéric Peschanski et al.

Source: http://www.dmtcs.org/pdfpapers/dmAQ0108.pdf.

Subject Terms: Concurrency theory. Analytic combinatorics. Shuffle. Random generation. Linear extension

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6377; http://www.dmtcs.org/pdfpapers/dmAQ0108.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6377
http://www.dmtcs.org/pdfpapers/dmAQ0108.pdf