Wait-free solvability of equality negation tasks

DOI10.4230/LIPICS.DISC.2019.21zbMath1515.68141MaRDI QIDQ6487538

Jérémy Ledent, Sergio Rajsbaum, Marijana Lazić, Eric Goubault

Publication date: 3 February 2023

zbMATH Keywords

combinatorial topologydistributed computabilityequality negation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

This page was built for publication: Wait-free solvability of equality negation tasks