Christophe Joubert, Radu Mateescu. Distributed Local Resolution of Boolean Equation Systems. In 13th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2005), 6-11 February 2005, Lugano, Switzerland. pages 264-271, IEEE Computer Society, 2005. [doi]
Abstract is missing.