Pages that link to "Item:Q483063"

The following pages link to Impossibility of gathering, a certification (Q483063):

Displayed 13 items.

• TuringMobile: a Turing machine of oblivious mobile robots with limited visibility and its applications (Q2121061) ‎ (← links)
• Verification of agent navigation in partially-known environments (Q2144175) ‎ (← links)
• Parameterized verification of algorithms for oblivious robots on a ring (Q2225474) ‎ (← links)
• Embedded pattern formation by asynchronous robots without chirality (Q2318112) ‎ (← links)
• Certification of an exact worst-case self-stabilization time (Q2680867) ‎ (← links)
• The agreement power of disagreement (Q2697537) ‎ (← links)
• A Framework for Certified Self-Stabilization (Q2827460) ‎ (← links)
• Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) ‎ (← links)
• Wait-Free Gathering Without Chirality (Q3460724) ‎ (← links)
• (Q5090910) ‎ (← links)
• Stand up indulgent gathering (Q5918567) ‎ (← links)
• Stand up indulgent gathering (Q5918709) ‎ (← links)
• Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218) ‎ (← links)