Advertisement

Practical TLA+ pp 167-197 | Cite as

MapReduce

  • Hillel Wayne
Chapter

Abstract

In this chapter, we will develop a large specification to fully show what the process looks like, ideation, missteps and all.

Copyright information

© Hillel Wayne 2018

Authors and Affiliations

  • Hillel Wayne
    • 1
  1. 1.ChicagoUSA

Personalised recommendations