Paper is accepted for publication in Concurrency and Computation: Practice and Experience.