The following pages link to (Q3384879):
Displaying 6 items.
- Networks beyond pairwise interactions: structure and dynamics (Q823239) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- Tasks in modular proofs of concurrent algorithms (Q6044466) (← links)
- Tasks in modular proofs of concurrent algorithms (Q6536328) (← links)
- Communication pattern models: an extension of action models for dynamic-network distributed systems (Q6642582) (← links)