Formal Derivation of Distributed MapReduce

Linas Laibinis, Michael Butler, Asieh Salehi Fathabadi, Inna Vistbakka, Elena Troubitsyna

Research output: Book/ReportCommissioned reportProfessional

3 Citations (Scopus)
Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3006-6
Publication statusPublished - 2014
MoE publication typeD4 Published development or research report or study

Keywords

  • formal modelling
  • Event-B
  • refinement
  • MapReduce

Cite this