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.

翻译：我们在过程代数的背景下讨论了现实中原子动作的不完美性，并展示了不完美动作在计算系统验证中的应用。