Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.
27 Nancy Lynch, Michael Merritt, William Weihl, and Alan Fekete
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Volitional Multiagent Atomic Transactions: Describing People and their Machines
Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.