2023/06/10 by Yong Wang, Wang, Yong
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2306.06356
openalex publication_date 2023/06/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.