Sciweavers

37 search results - page 8 / 8
» Sound Bisimulations for Higher-Order Distributed Process Cal...
Sort
View
COORDINATION
2004
Springer
14 years 1 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
ATAL
2010
Springer
13 years 9 months ago
Agreeing on plans through iterated disputes
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...