The following pages link to Mark R. Tuttle (Q1104073):
Displaying 18 items.
- Programming simultaneous actions using common knowledge (Q1104074) (← links)
- Wait-free implementations in message-passing systems (Q1292433) (← links)
- Model checking boot code from AWS data centers (Q2050104) (← links)
- Common knowledge and consistent simultaneous coordination (Q2365570) (← links)
- A game of timing and visibility (Q2427134) (← links)
- Collaborate with strangers to find own preferences (Q2471699) (← links)
- (Q2703723) (← links)
- Unifying synchronous and asynchronous message-passing models (Q2790108) (← links)
- An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems (Q2810958) (← links)
- (Q2921791) (← links)
- Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions (Q2943400) (← links)
- Tight bounds for <i>k</i> -set agreement (Q2946999) (← links)
- (Q3833630) (← links)
- Knowledge, probability, and adversaries (Q4271090) (← links)
- (Q4436047) (← links)
- Many Random Walks Are Faster Than One (Q5199503) (← links)
- A semantics for a logic of authentication (extended abstract) (Q5255820) (← links)
- Distributed Computing (Q5395166) (← links)
