Consistency Types for Safe and Efficient Distributed Programming.

Alessandro Margara Guido Salvaneschi

Published in: FTfJP@ECOOP (2017)

Keyphrases

cooperative
distributed systems
cost effective
distributed network
neural network
genetic algorithm
website
case study
multi agent
lightweight
computationally efficient
mobile agents
computationally expensive
distributed environment
temporal reasoning