LaDeDa: Languages for Debuggable Distributed Algorithms

Mark Miller, Tom Cutsem
unpublished
fatcat:2xn3cu6ykvddji6hzajc44svu4