7 citations · 16 across the 5 of their papers we have counts for
7 papers
Accompanist: A Runtime for Resilient Choreographic Programming
Viktor Strate Kløvedal, Dan Plyukhin, Marco Peressotti +1
In service-oriented architecture, services coordinate in one of two ways: directly, using point-to-point communication, or indirectly, through an intermediary called the orchestrat…
Ozone: Fully Out-of-Order Choreographies
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
Choreographic programming is a paradigm for writing distributed applications. It allows programmers to write a single program, called a choreography, that can be compiled to genera…
A Scalable Algorithm for Decentralized Actor Termination Detection
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
Scalable Termination Detection for Distributed Actor Systems
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
Random walks on uniform and non-uniform combs and brushes
Alex V. Plyukhin, Dan Plyukhin
We consider random walks on comb- and brush-like graphs consisting of a base (of fractal dimension ) decorated with attached side-groups. The graphs are also characterized by th…
Random walks with fractally correlated traps: Stretched exponential and power law survival kinetics
Dan Plyukhin, Alex V. Plyukhin
We consider the survival probability of a random walk with a constant hopping rate on a host lattice of fractal dimension and spectral dimension , with spa…
Correlations of correlations: Secondary autocorrelations in finite harmonic systems
Dan Plyukhin, Alex V. Plyukhin
The momentum or velocity autocorrelation function C(t) for a tagged oscillator in a finite harmonic system decays like that of an infinite system for short times, but exhibits erra…