Volition Elicitation: Operational Semantics for People and Their Machines.

arXiv:2607.14138v2 Announce Type: replace-cross Abstract: The most prevalent distributed systems today include people and their personal machines (smartphones), and computations in them are driven by people's volitions. Volition-guarded multiagent atomic trans