Distributed Verification Using Mobile Agents

DOI10.1007/978-3-642-35668-1_23zbMath1351.68037OpenAlexW86577490MaRDI QIDQ5507407

Zvi Lotker, Shantanu Das, Shay Kutten

Publication date: 19 December 2016

Published in: Distributed Computing and Networking (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35668-1_23

zbMATH Keywords

mobile agentsfinite-state automatadistributed verificationnetwork explorationproof labeling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

On mobile agent verifiable problems

This page was built for publication: Distributed Verification Using Mobile Agents