@book{liggett1985,
author = {Liggett, Thomas M.},
title = {Interacting Particle Systems},
publisher = {Springer-Verlag},
address = {New York},
series = {Grundlehren der mathematischen Wissenschaften},
volume = {276},
year = {1985},
doi = {10.1007/978-1-4613-8542-4},
}
@inproceedings{boehm2008,
author = {Boehm, Hans-J. and Adve, Sarita V.},
title = {Foundations of the {C++} Concurrency Memory Model},
booktitle = {Proceedings of the 29th ACM SIGPLAN Conference on Programming
Language Design and Implementation (PLDI)},
publisher = {ACM},
address = {New York, NY},
pages = {68--78},
year = {2008},
doi = {10.1145/1375581.1375591},
}
@misc{vyukov2010,
author = {Vyukov, Dmitry},
title = {Bounded {MPMC} Queue},
year = {2010},
howpublished = {\url{https://www.1024cores.net/home/lock-free-algorithms/queues/bounded-mpmc-queue}},
}
@inproceedings{haas2015,
author = {Haas, Andreas and H{\"u}tter, Thomas and Kirsch, Christoph M.
and Lippautz, Michael and Payer, Hannes and Sokolova, Ana
and Zwick, Andrea},
title = {Distributed Queues in Shared Memory: Multicore Performance and
Scalability through Quantitative Relaxation},
booktitle = {Proceedings of the ACM International Conference on Computing
Frontiers (CF)},
publisher = {ACM},
address = {New York, NY},
pages = {1--9},
year = {2015},
doi = {10.1145/2742854.2742873},
}
@techreport{treiber1986,
author = {Treiber, R. Kent},
title = {Systems Programming: Coping with Parallelism},
institution = {IBM Almaden Research Center},
number = {RJ 5118},
year = {1986},
}
@article{herlihy_wing1990,
author = {Herlihy, Maurice P. and Wing, Jeannette M.},
title = {Linearizability: {A} Correctness Condition for Concurrent Objects},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {12},
number = {3},
pages = {463--492},
year = {1990},
doi = {10.1145/78969.78972},
}
@book{herlihy_shavit2008,
address = {Burlington, MA},
author = {Herlihy, Maurice and Shavit, Nir},
title = {The Art of Multiprocessor Programming},
publisher = {Morgan Kaufmann},
year = {2008},
}
@article{blumofe1999,
author = {Blumofe, Robert D. and Leiserson, Charles E.},
title = {Scheduling Multithreaded Computations by Work Stealing},
journal = {Journal of the ACM},
volume = {46},
number = {5},
pages = {720--748},
year = {1999},
doi = {10.1145/324133.324234},
}
@article{arora2001,
author = {Arora, Nimar S. and Blumofe, Robert D. and Plaxton, C. Greg},
title = {Thread Scheduling for Multiprogrammed Multiprocessors},
journal = {Theory of Computing Systems},
volume = {34},
number = {2},
pages = {115--144},
year = {2001},
doi = {10.1007/s00224-001-0004-z},
}
@inproceedings{chase_lev2005,
publisher = {ACM},
address = {New York, NY},
author = {Chase, David and Lev, Yossi},
title = {Dynamic Circular Work-Stealing Deque},
booktitle = {Proceedings of the 17th Annual ACM Symposium on Parallel
Algorithms and Architectures (SPAA)},
pages = {21--28},
year = {2005},
doi = {10.1145/1073970.1073974},
}
@article{acar2002,
author = {Acar, Umut A. and Blelloch, Guy E. and Blumofe, Robert D.},
title = {The Data Locality of Work Stealing},
journal = {Theory of Computing Systems},
volume = {35},
number = {3},
pages = {321--347},
year = {2002},
doi = {10.1007/s00224-002-1057-3},
}
@article{graham1969,
author = {Graham, Ronald L.},
title = {Bounds on Multiprocessing Timing Anomalies},
journal = {SIAM Journal on Applied Mathematics},
volume = {17},
number = {2},
pages = {416--429},
year = {1969},
doi = {10.1137/0117039},
}
@article{coffman_graham1972,
author = {Coffman, Edward G. and Graham, Ronald L.},
title = {Optimal Scheduling for Two-Processor Systems},
journal = {Acta Informatica},
volume = {1},
number = {3},
pages = {200--213},
year = {1972},
doi = {10.1007/BF00288685},
}
@article{lenstra1978,
author = {Lenstra, Jan K. and Rinnooy Kan, Alexander H. G.},
title = {Complexity of Machine Scheduling Problems},
journal = {Annals of Discrete Mathematics},
volume = {1},
pages = {343--362},
year = {1977},
doi = {10.1016/S0167-5060(08)70743-X},
note = {See also: Lenstra \& Rinnooy Kan, \emph{Oper.\ Res.} 26(1):22--35, 1978},
}
@book{borodin_elyaniv1998,
address = {Cambridge, UK},
author = {Borodin, Allan and El-Yaniv, Ran},
title = {Online Computation and Competitive Analysis},
publisher = {Cambridge University Press},
year = {1998},
}
@article{sleator_tarjan1985,
author = {Sleator, Daniel D. and Tarjan, Robert E.},
title = {Amortized Efficiency of List Update and Paging Rules},
journal = {Communications of the ACM},
volume = {28},
number = {2},
pages = {202--208},
year = {1985},
doi = {10.1145/2786.2793},
}
@inproceedings{borodin1996,
author = {Borodin, Allan and Kleinberg, Jon and Raghavan, Prabhakar
and Sudan, Madhu and Williamson, David P.},
title = {Adversarial Queuing Theory},
booktitle = {Proceedings of the 28th Annual ACM Symposium on Theory
of Computing (STOC)},
pages = {376--385},
year = {1996},
doi = {10.1145/237814.237984},
}
@book{kleinrock1975,
author = {Kleinrock, Leonard},
title = {Queueing Systems, Volume~1: Theory},
publisher = {Wiley-Interscience},
address = {New York},
year = {1975},
}
@book{kelly1979,
author = {Kelly, Frank P.},
title = {Reversibility and Stochastic Networks},
publisher = {Wiley},
address = {Chichester},
year = {1979},
}
@article{little1961,
author = {Little, John D. C.},
title = {A Proof for the Queuing Formula: {$L = \lambda W$}},
journal = {Operations Research},
volume = {9},
number = {3},
pages = {383--387},
year = {1961},
doi = {10.1287/opre.9.3.383},
}
@article{stidham1985,
author = {Stidham, Shaler, Jr.},
title = {Optimal Control of Admission to a Queueing System},
journal = {IEEE Transactions on Automatic Control},
volume = {30},
number = {8},
pages = {705--713},
year = {1985},
doi = {10.1109/TAC.1985.1104032},
}
@article{weber1990,
author = {Weber, Richard R. and Weiss, Gideon},
title = {On an Index Policy for Restless Bandits},
journal = {Journal of Applied Probability},
volume = {27},
number = {3},
pages = {637--648},
year = {1990},
doi = {10.2307/3214547},
}
@article{mitzenmacher2001,
author = {Mitzenmacher, Michael},
title = {The Power of Two Choices in Randomized Load Balancing},
journal = {IEEE Transactions on Parallel and Distributed Systems},
volume = {12},
number = {10},
pages = {1094--1104},
year = {2001},
doi = {10.1109/71.963420},
}
@article{vvedenskaya1996,
author = {Vvedenskaya, Nikita D. and Dobrushin, Roland L.
and Karpelevich, Fridrikh I.},
title = {Queueing System with Selection of the Shortest of Two Queues:
An Asymptotic Approach},
journal = {Problems of Information Transmission},
volume = {32},
number = {1},
pages = {15--27},
year = {1996},
}
@article{azar1999,
author = {Azar, Yossi and Broder, Andrei Z. and Karlin, Anna R.
and Upfal, Eli},
title = {Balanced Allocations},
journal = {SIAM Journal on Computing},
volume = {29},
number = {1},
pages = {180--200},
year = {1999},
doi = {10.1137/S0097539795288490},
}
@book{mitzenmacher2017,
author = {Mitzenmacher, Michael and Upfal, Eli},
title = {Probability and Computing: Randomization and Probabilistic
Techniques in Algorithms and Data Analysis},
edition = {2nd},
publisher = {Cambridge University Press},
address = {Cambridge, UK},
year = {2017},
doi = {10.1017/9781316651124},
}
@book{meyn2009,
author = {Meyn, Sean P. and Tweedie, Richard L.},
title = {Markov Chains and Stochastic Stability},
edition = {2nd},
publisher = {Cambridge University Press},
address = {Cambridge, UK},
year = {2009},
doi = {10.1017/CBO9780511626630},
}
@article{fill1991,
author = {Fill, James Allen},
title = {Eigenvalue Bounds on Convergence to Stationarity for
Nonreversible {Markov} Chains, with an Application
to the Exclusion Process},
journal = {Annals of Applied Probability},
volume = {1},
number = {1},
pages = {62--87},
year = {1991},
doi = {10.1214/aoap/1177005981},
}
@article{foster1953,
author = {Foster, Fredrick G.},
title = {On the Stochastic Matrices Associated with Certain
Queuing Processes},
journal = {Annals of Mathematical Statistics},
volume = {24},
number = {3},
pages = {355--360},
year = {1953},
doi = {10.1214/aoms/1177728976},
}
@article{diaconis_stroock1991,
author = {Diaconis, Persi and Stroock, Daniel},
title = {Geometric Bounds for Eigenvalues of {Markov} Chains},
journal = {Annals of Applied Probability},
volume = {1},
number = {1},
pages = {36--61},
year = {1991},
doi = {10.1214/aoap/1177005980},
}
@inproceedings{cheeger1970,
author = {Cheeger, Jeff},
title = {A Lower Bound for the Smallest Eigenvalue of the {Laplacian}},
booktitle = {Problems in Analysis: A Symposium in Honor of {Salomon Bochner}},
editor = {Gunning, Robert C.},
publisher = {Princeton University Press},
pages = {195--199},
year = {1970},
}
@book{norris1997,
author = {Norris, James R.},
title = {Markov Chains},
publisher = {Cambridge University Press},
address = {Cambridge, UK},
year = {1997},
doi = {10.1017/CBO9780511810633},
}
@book{gardiner2004,
author = {Gardiner, Crispin W.},
title = {Handbook of Stochastic Methods},
edition = {3rd},
publisher = {Springer-Verlag},
address = {Berlin},
year = {2004},
}
@incollection{sznitman1991,
author = {Sznitman, Alain-Sol},
title = {Topics in Propagation of Chaos},
booktitle = {{\'E}cole d'{\'E}t{\'e} de Probabilit{\'e}s de Saint-Flour {XIX}},
series = {Lecture Notes in Mathematics},
volume = {1464},
publisher = {Springer},
address = {Berlin},
year = {1991},
doi = {10.1007/BFb0085169},
}
@book{landau_fields,
author = {Landau, Lev D. and Lifshitz, Evgeny M.},
title = {The Classical Theory of Fields},
series = {Course of Theoretical Physics},
volume = {2},
edition = {4th},
publisher = {Butterworth-Heinemann},
address = {Oxford},
year = {1975},
}
@book{landau_statphys,
author = {Landau, Lev D. and Lifshitz, Evgeny M.},
title = {Statistical Physics, Part~1},
series = {Course of Theoretical Physics},
volume = {5},
edition = {3rd},
publisher = {Butterworth-Heinemann},
address = {Oxford},
year = {1980},
}
@book{lifshitz_kinetics,
author = {Lifshitz, Evgeny M. and Pitaevskii, Lev P.},
title = {Physical Kinetics},
series = {Course of Theoretical Physics},
volume = {10},
publisher = {Butterworth-Heinemann},
address = {Oxford},
year = {1981},
}
@article{boltzmann1872,
author = {Boltzmann, Ludwig},
title = {Weitere {Studien} {\"u}ber das {W\"armegleichgewicht} unter
{Gasmolek\"ulen}},
journal = {Wiener Berichte},
volume = {66},
pages = {275--370},
year = {1872},
}
@book{cercignani1988,
author = {Cercignani, Carlo},
title = {The {Boltzmann} Equation and Its Applications},
publisher = {Springer-Verlag},
address = {New York},
year = {1988},
doi = {10.1007/978-1-4612-1039-9},
}
@book{chapman_cowling,
address = {Cambridge, UK},
author = {Chapman, Sydney and Cowling, Thomas G.},
title = {The Mathematical Theory of Non-Uniform Gases},
edition = {3rd},
publisher = {Cambridge University Press},
year = {1970},
}
@article{bogoliubov1946,
author = {Bogoliubov, Nikolai N.},
title = {Kinetic Equations},
journal = {Journal of Physics USSR},
volume = {10},
pages = {265--274},
year = {1946},
}
@book{born_green1949,
address = {Cambridge, UK},
author = {Born, Max and Green, Herbert S.},
title = {A General Kinetic Theory of Liquids},
publisher = {Cambridge University Press},
year = {1949},
}
@article{kirkwood1946,
author = {Kirkwood, John G.},
title = {The Statistical Mechanical Theory of Transport Processes~{I}},
journal = {The Journal of Chemical Physics},
volume = {14},
number = {3},
pages = {180--201},
year = {1946},
doi = {10.1063/1.1724117},
}
@book{yvon1935,
author = {Yvon, Jacques},
title = {La Th{\'e}orie Statistique des Fluides et l'{\'E}quation
d'{\'E}tat},
publisher = {Hermann},
address = {Paris},
year = {1935},
}
@inproceedings{kac1956,
author = {Kac, Mark},
title = {Foundations of Kinetic Theory},
booktitle = {Proceedings of the Third Berkeley Symposium on Mathematical
Statistics and Probability},
volume = {3},
pages = {171--197},
publisher = {University of California Press},
address = {Berkeley, CA},
year = {1956},
}
@incollection{mckean1967,
author = {McKean, Henry P., Jr.},
title = {Propagation of Chaos for a Class of Non-Linear
Parabolic Equations},
booktitle = {Stochastic Differential Equations},
series = {Lecture Series in Differential Equations},
volume = {7},
publisher = {Catholic University of America},
address = {Washington, DC},
pages = {41--57},
year = {1967},
}
@article{derrida2007,
author = {Derrida, Bernard},
title = {Non-Equilibrium Steady States: Fluctuations and Large Deviations
of the Density and of the Current},
journal = {Journal of Statistical Mechanics: Theory and Experiment},
volume = {2007},
number = {07},
pages = {P07023},
year = {2007},
doi = {10.1088/1742-5468/2007/07/P07023},
}
@incollection{schutz2001,
author = {Sch{\"u}tz, Gunter M.},
title = {Exactly Solvable Models for Many-Body Systems Far from
Equilibrium},
booktitle = {Phase Transitions and Critical Phenomena},
editor = {Domb, Cyril and Lebowitz, Joel L.},
volume = {19},
publisher = {Academic Press},
address = {London},
pages = {1--251},
year = {2001},
}
@article{hinrichsen2000,
author = {Hinrichsen, Haye},
title = {Non-Equilibrium Critical Phenomena and Phase Transitions
into Absorbing States},
journal = {Advances in Physics},
volume = {49},
number = {7},
pages = {815--958},
year = {2000},
doi = {10.1080/00018730050198152},
}
@article{fisher_tippett1928,
author = {Fisher, Ronald A. and Tippett, Leonard H. C.},
title = {Limiting Forms of the Frequency Distribution of the Largest
or Smallest Member of a Sample},
journal = {Mathematical Proceedings of the Cambridge Philosophical Society},
volume = {24},
number = {2},
pages = {180--190},
year = {1928},
doi = {10.1017/S0305004100015681},
}
@book{gumbel1958,
author = {Gumbel, Emil J.},
title = {Statistics of Extremes},
publisher = {Columbia University Press},
address = {New York},
year = {1958},
}
@book{leadbetter1983,
author = {Leadbetter, Malcolm R. and Lindgren, Georg
and Rootz{\'e}n, Holger},
title = {Extremes and Related Properties of Random Sequences
and Processes},
publisher = {Springer-Verlag},
address = {New York},
year = {1983},
doi = {10.1007/978-1-4612-5449-2},
}
@book{landau_qm,
author = {Landau, Lev D. and Lifshitz, Evgeny M.},
title = {Quantum Mechanics ({Non-Relativistic Theory})},
series = {Course of Theoretical Physics},
volume = {3},
edition = {3rd},
publisher = {Butterworth-Heinemann},
address = {Oxford},
year = {1977},
}
@book{feynman_iii,
author = {Feynman, Richard P. and Leighton, Robert B. and Sands, Matthew},
title = {The {Feynman} Lectures on Physics, {Vol.~III}: Quantum Mechanics},
publisher = {Addison-Wesley},
address = {Reading, MA},
year = {1965},
}
@book{feynman_ii,
author = {Feynman, Richard P. and Leighton, Robert B. and Sands, Matthew},
title = {The {Feynman} Lectures on Physics, {Vol.~II}: Mainly
Electromagnetism and Matter},
publisher = {Addison-Wesley},
address = {Reading, MA},
year = {1964},
}
@article{dirac1927,
author = {Dirac, Paul A. M.},
title = {The Quantum Theory of the Emission and Absorption of Radiation},
journal = {Proceedings of the Royal Society of London Series~A},
volume = {114},
number = {767},
pages = {243--265},
year = {1927},
doi = {10.1098/rspa.1927.0039},
}
@article{jordan_wigner1928,
author = {Jordan, Pascual and Wigner, Eugene P.},
title = {{\"U}ber das {Paulische} {{\"A}quivalenzverbot}},
journal = {Zeitschrift f{\"u}r Physik},
volume = {47},
number = {9--10},
pages = {631--651},
year = {1928},
doi = {10.1007/BF01331938},
}
@article{fock1932,
author = {Fock, Vladimir A.},
title = {Konfigurationsraum und zweite {Quantelung}},
journal = {Zeitschrift f{\"u}r Physik},
volume = {75},
number = {9--10},
pages = {622--647},
year = {1932},
doi = {10.1007/BF01344458},
}
@article{shannon1948,
author = {Shannon, Claude E.},
title = {A Mathematical Theory of Communication},
journal = {The Bell System Technical Journal},
volume = {27},
pages = {379--423, 623--656},
year = {1948},
doi = {10.1002/j.1538-7305.1948.tb01338.x},
}
@book{cover_thomas2006,
address = {Hoboken, NJ},
author = {Cover, Thomas M. and Thomas, Joy A.},
title = {Elements of Information Theory},
edition = {2nd},
publisher = {Wiley-Interscience},
year = {2006},
doi = {10.1002/047174882X},
}
@misc{criterion,
author = {Brook, Brook and Bogner, Jorge},
title = {Criterion.rs: Statistics-Driven Micro-Benchmarking for {Rust}},
year = {2025},
howpublished = {\url{https://github.com/bheisler/criterion.rs}},
}
@misc{dtact,
key = {Apich-Organization},
author = {{Apich-Organization}},
title = {Dtact: {DTA} Distributed Task Scheduler},
year = {2026},
howpublished = {\url{https://github.com/Apich-Organization/dtact/}},
}
@misc{dtact_ci,
key = {Apich-Organization},
author = {{Apich-Organization}},
title = {{DTA} {GitHub} Actions Benchmark Run \#28292910228},
year = {2026},
howpublished = {\url{https://github.com/Apich-Organization/dtact/actions/runs/28292910228}},
}
@misc{dtact_source,
key = {Apich-Organization},
author = {{Apich-Organization}},
title = {{DTA} Distributed Task Scheduler --- Source Code},
year = {2026},
howpublished = {\url{https://github.com/Apich-Organization/dtact/}},
note = {Hash routing implementation in \texttt{src/dta\_scheduler.rs}},
}
@misc{tokio,
key = {Tokio Contributors},
author = {{Tokio Contributors}},
title = {Tokio: An Asynchronous {Rust} Runtime},
year = {2026},
howpublished = {\url{https://github.com/tokio-rs/tokio}},
note = {Version~1.x; \texttt{multi\_thread} scheduler with work-stealing deque},
}
@misc{loom2023,
key = {Tokio Contributors},
author = {{Tokio Contributors}},
title = {Loom: Permutation Testing for Concurrent {Rust} Code},
year = {2024},
howpublished = {\url{https://github.com/tokio-rs/loom}},
note = {Concurrency model checker for lock-free data structures},
}