Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System

Buchs, DidierMonteiro, DanielMourlin, FabriceBrunet, Denis2005-09-202005-09-202005-09-201994https://infoscience.epfl.ch/handle/20.500.14299/216763ConformParallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision Systemtext::report