Identifiers in Registers - Describing Network Algorithms with Logic.

Benedikt Bollig, Patricia Bouyer, Fabian Reiter

Browse the full FOSSACS paper archive.