97 search results - page 20 / 20 » Concurrent Non-Malleable Commitments |
ECOOP
1993
Springer
13 years 10 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
JAPLL
2008
13 years 5 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...