Publications » Blockchain for Fully Decentralised Coordination: A First Study with Linda and Ethereum

Blockchain for Fully Decentralised Coordination: A First Study with Linda and Ethereum

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
The blockchain is a disruptive technology which is rapidly shaking up research activities in distributed databases, replicated state machines, and distributed consensus. In particular, the concept of smart contract is especially interesting for distributing computing in general as a way to spread computations in a fully decentralised way. Smart contracts are interesting also from the perspective of coordination mod- els and languages, as a (potentially) effective way of conceiving and designing fully decentralised coordination. Accordingly, we analyse the Ethereum blockchain to draw a mapping with tuple-based coordination, and discuss a proof-of-concept implementation of the archetypal Linda model. Besides providing a first feasibility check, doing so already sheds light on a few issues arising when applying the blockchain idea beyond the traditional use cases of accountability and identity management.
Keywords: blockchain, smart contracts, coordination, Linda, Ethereum
FOCLASA, 2018
@inproceedings{,
	year = 2018,
	keywords = {blockchain, smart contracts, coordination, Linda, Ethereum},
	status = {Submitted},
	venue_list = {--},
	series = {FOCLASA},
	author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
	title = {Blockchain for Fully Decentralised Coordination: A First Study with Linda and Ethereum},
	abstract = {The blockchain is a disruptive technology which is rapidly shaking up research activities in distributed databases, replicated state machines, and distributed consensus. In particular, the concept of smart contract is especially interesting for distributing computing in general as a way to spread computations in a fully decentralised way. Smart contracts are interesting also from the perspective of coordination mod- els and languages, as a (potentially) effective way of conceiving and designing fully decentralised coordination. Accordingly, we analyse the Ethereum blockchain to draw a mapping with tuple-based coordination, and discuss a proof-of-concept implementation of the archetypal Linda model. Besides providing a first feasibility check, doing so already sheds light on a few issues arising when applying the blockchain idea beyond the traditional use cases of accountability and identity management.}}