arxivcs.PLcs.AIcs.DCcs.HCcs.MA2026-07-10
Volition Elicitation: Operational Semantics for People and Their Machines
The most prevalent distributed systems today include people and their personal machines (smartphones). In such systems, computations are driven by people's volitions: a payment when a person wishes to pay someone, befriending when two people wish to become friends, etc. Volition-…