Endowing agents with “social rationality” [10, 12, 11] can aid overall efficiency in tasks where cooperation is beneficial to system level performance. However it is difficult...
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
Abstract During its development computer science has more and more established a way it sees itself. However, in recent years the rise of distributed systems and object orientation...
Distributive lattices are well known to be precisely those lattices that possess cancellation: x ∨ y = x ∨ z and x ∧ y = x ∧ z imply y = z. Cancellation, in turn, occurs wh...
Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leec...
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...