Issue 1/2019
Special issue on NETYS 2016
Content (5 Articles)
Time-efficient read/write register in crash-prone asynchronous message-passing systems
Achour Mostéfaoui, Michel Raynal, Matthieu Roy
The out-of-core KNN awakens: the light side of computation force on large datasets
Javier Olivares, Anne-Marie Kermarrec, Nitin Chiluka
A mechanized refinement proof of the Chase–Lev deque using a proof system
Suha Orhun Mutluergil, Serdar Tasiran