Hannebauer, M.M.Hannebauer2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/336920en004006On Proving Properties of Concurrent Algorithms for Distributed CSPsconference paper