2 papers
cs.SE2021
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze +2
In the industry, blockchains are increasingly used as the backbone of product and process traceability. Blockchain-based traceability participates in the demonstration of product a…
cs.PL2017
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou +22
Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. Whil…