Speculative Nondeterminism


Abstract

We propose a new programmable concurrency control framework called speculative nondeterminism for real time, "open" and distributed agents. In this framework, dynamic and concurrent agent programs affect each other through a centralized store which represents shared resources. Our framework has novel programming constructs which allows an agent to speculate against the future by multiple exclusive choices that encode different strategies to achieve its goals.

Members

Demo

Papers