/bachelor

Repository for work on my bachelor thesis

Primary LanguageTeX

Repository for my bachelor thesis, spring 2020

proposal contains the tex and bib files for the project proposal
thesis contains tex and bib files for the thesis
specification contains the TLA+ specification for a concurrent hashmap described by Shalev et.al 1
notes contains various notes on feedback and reading
presentation contains a presentation of the project, created for an interview in March 2022