Open AccessOn the Limits and Practice of Automatically Designing Self-Stabilization
Author(s) -
Alex Klinkhamer
Publication year - 2016
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.37099/mtu.dc.etdr/90
Subject(s) - correctness , computer science , self stabilization , protocol (science) , state (computer science) , topology (electrical circuits) , undecidable problem , security token , shadow (psychology) , distributed computing , matching (statistics) , state space , simple (philosophy) , theoretical computer science , algorithm , distributed algorithm , mathematics , computer network , medicine , psychology , philosophy , statistics , alternative medicine , decidability , epistemology , pathology , combinatorics , psychotherapist
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xvii
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom