Formalising Replicated Distributed Processing.

Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo

Browse the full SRDS paper archive.