"Toward Domain-Specific Solvers for Distributed Consistency" will appear at SNAPL 2019

composition.al 2019-04-27