The linear time — Branching time spectrum II: The semantics of sequential systems with silent moves extended abstract 论文
1993Lecture notes in computer science引用 275
Logic, programming, and type systemsFormal Methods in Verificationsemigroups and automata theory