95 citations · 277 across the 36 of their papers we have counts for
5 papers · 1 filter
Coordination Games on Weighted Directed Graphs
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
We study strategic games on weighted directed graphs, in which the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy, au…
Reasoning about call-by-value: a missing result in the history of Hoare's logic
Krzysztof R. Apt, Frank S. de Boer
We provide a sound and relatively complete Hoare-like proof system for reasoning about partial correctness of recursive procedures in presence of local variables and the call-by-va…
Open Problems in a Logic of Gossips
Krzysztof R. Apt, Dominik Wojtczak
Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to reach a situation in which all agents know all secrets. Such protocols rely on…
Fifty years of Hoare's Logic
Krzysztof R. Apt, Ernst-Ruediger Olderog
We present a history of Hoare's logic.
Self-Stabilization Through the Lens of Game Theory
Krzysztof R. Apt, Ehsan Shoja
In 1974 E.W. Dijkstra introduced the seminal concept of self-stabilization that turned out to be one of the main approaches to fault-tolerant computing. We show here how his three…