Ledger-state stigmergy maps biological indirect coordination to blockchain ledgers via a state-transition formalism and three base patterns for on-chain agent coordination.
Generative communication in Linda
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
rush introduces a shared-state coordination layer for asynchronous distributed iterative algorithms in R via Redis, with integration to mlr3 and a demonstration on decentralized Bayesian optimization for LightGBM tuning across four datasets with 448 workers.
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
citing papers explorer
-
Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
Ledger-state stigmergy maps biological indirect coordination to blockchain ledgers via a state-transition formalism and three base patterns for on-chain agent coordination.
-
rush: Scalable Asynchronous Distributed Computing via Shared State in R
rush introduces a shared-state coordination layer for asynchronous distributed iterative algorithms in R via Redis, with integration to mlr3 and a demonstration on decentralized Bayesian optimization for LightGBM tuning across four datasets with 448 workers.
-
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.