On Mobile Agent Verifiable Problems

DOI10.1007/978-3-662-49529-2_10zbMath1415.68106OpenAlexW2343051363MaRDI QIDQ2802932

Evangelos Bampas, David Ilcinkas

Publication date: 3 May 2016

Published in: LATIN 2016: Theoretical Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49529-2_10

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed systems (68M14) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Network protocols (68M12)

Related Items (2)

Unnamed Item ⋮ Redundancy in distributed proofs

This page was built for publication: On Mobile Agent Verifiable Problems