Guest editors' remarks
- 作者Carlo Ghezzi; Gruia-Catalin Roman
- 卷第20卷
- 印刷ISSN0167-6423
- 文件大小92.00KB
- 发表时间1993
- DOI10.1016/0167-6423(93)90020-p
- 页码1-2
同作者推荐
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