On the mathematics of sequential decompositions
- 作者Jules Desharnais; Ali Mili; Fatma Mili
- 卷第20卷
- 期第3期
- 印刷ISSN0167-6423
- 文件大小2086.40KB
- 发表时间1993
- DOI10.1016/0167-6423(93)90016-i
- 页码253-289
同作者推荐
Smoothsort revisitedCoenraad Bron; Wim H. Hesselink · 1991
LR-parsing derivedWim H. Hesselink · 1992
Interpretations of recursion under unbounded nondeterminacyWim H. Hesselink · 1988
Processes and formalisms for unbounded choiceWim H. Hesselink · 1992
Formalizing a Hierarchical File SystemWim H. Hesselink; M.I. Lali · 2009
Simulation Refinement for Concurrency VerificationWim H. Hesselink · 2008
A challenge for atomicity verificationWim H. Hesselink · 2008
Repetitions, known or unknown?Wim H. Hesselink · 1991