  We discuss the deal of imperfectness of atomic actions in reality with the
background of process algebras. And we show the applications of the imperfect
actions in verification of computational systems.
