2 papers
cs.DC2020
Lecture Notes on Leader-based Sequence Paxos -- An Understandable Sequence Consensus Algorithm
Seif Haridi, Lars Kroll, Paris Carbone
Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must…
cs.SE2017
KompicsTesting - Unit Testing Event Streams
Ifeanyi W. Ubah, Lars Kroll, Alexandru A. Ormenisan +1
In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate a…