On process-algebraic verification of asynchronous circuits | Publicación