Distributed Computing Through Combinatorial Topology

"Distributed Computing Through Combinatorial Topology" beskriver tekniker för att analysera distribuerade algoritmer baserade på prisbelönad forskning inom kombinatorisk topologi. Författarna presenterar en solid teoretisk grund relevant för många verkliga system som är beroende av parallellism med oförutsägbara förseningar, såsom flerkärniga mikroprocessorer, trådlösa nätverk, distribuerade system och Internetprotokoll. Idag måste en ny student eller forskare samla ihop spridda konferenspublikationer, vilka vanligtvis är knappa och använder olika notationer och terminologier. Denna bok ger en självständig förklaring av matematiken till läsare med bakgrund inom datavetenskap samt förklarar datavetenskapskoncept för läsare med bakgrund inom tillämpad matematik. Den första sektionen presenterar matematiska begrepp och modeller, inklusive kommunikation via meddelanden och delat minne i systemen, fel och tidsmodeller. Nästa sektion presenterar kärnkoncept i två kapitel var: Först bevisa ett enkelt resultat som passar sig bra för exempel och bilder som kommer att bygga upp läsarnas intuition; sedan generalisera konceptet för att bevisa ett mer sofistikerat resultat. Det övergripande resultatet väver samman de grundläggande koncepten inom området och presenterar dem på ett gradvis sätt som appellerar intuitivt till läsaren. Bokens sista sektion diskuterar avancerade ämnen oftast hittades i en kurs på masternivå för de som vill utforska vidare.