Distributed Computing

DOI10.1007/11561927zbMath1171.68366OpenAlexW4245215744MaRDI QIDQ5395145

Sayan Mitra, Gregory Chockler, Joshua Tauber, Nancy A. Lynch

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11561927

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

This page was built for publication: Distributed Computing