Pages that link to "Item:Q1262142"
From MaRDI portal
The following pages link to Modelling knowledge and action in distributed systems (Q1262142):
Displaying 18 items.
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Knowledge and common knowledge in a Byzantine environment: Crash failures (Q918186) (← links)
- Concurrent common knowledge: Defining agreement for asynchronous systems (Q1200914) (← links)
- Wait-free implementations in message-passing systems (Q1292433) (← links)
- View-based explicit knowledge (Q1295424) (← links)
- Common knowledge revisited (Q1295439) (← links)
- Self-stabilizing extensions for message-passing systems (Q1310564) (← links)
- On ambiguities in the interpretation of game trees (Q1366494) (← links)
- Common knowledge and update in finite environments (Q1383157) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- A computer scientist looks at game theory. (Q1413213) (← links)
- Integration of weighted knowledge bases (Q2171263) (← links)
- Action and knowledge in alternating-time temporal logic (Q2500827) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Knowledge-based programs (Q5137342) (← links)
- Using counterfactuals in knowledge-based programming (Q5138508) (← links)
- The power of logical clock abstractions (Q5138510) (← links)
