Article authored by HASLab researchers accepted for publication in A* rated journal of Distributed Systems

Paulo Sérgio Almeida and Carlos Baquero, researchers at the High-Assurance Software Laboratory (HASLab) and professors at the School of Engineering of the University of Minho, together with Ali Shoker, R&D doctorate at HASLab, are the authors of an article that has been accepted for publication in the Journal of Parallel and Distributed Computing. This top-tier journal in the area of distributed systems has received the A* rating from the Australian CORE ranking.


The creation of libraries of replicated data types that support eventual consistency in distributed system solutions has been an important factor towards their adoption. Currently, these techniques are used in systems as diverse as online betting, such as Bet365, standalone navigation, such as TomTom, and music streaming, such as SoundCloud. Current systems emphasise solutions based on state replication that, in their original form, required a large amount of storage and transmission.

The article, titled "Delta state replicated data types", responds to the need of making this type of systems more efficient and offers a mechanism that optimises stored and transmitted information. It also includes an extensive library of specifications for various types of data, such as registers, maps, flags, etc.

While it waits for formal publication, due in January 2018, the article is available as a preprint. Nevertheless, its previous release in conference version already led to its industrial implementation in the Actor Systems of AkkA, from developer Lightbend.

It is important to mention that the Journal of Parallel and Distributed Computing publishes original research papers and timely review articles on the theory, design, evaluation and use of parallel and/or distributed computing systems.