Automatable Verification of Sequential Consistency
- 期刊名称Theory of Computing Systems
- 作者Anne E. Condon; Alan J. Hu
- 卷第36卷
- 期第5期
- 印刷ISSN1432-4350
- 电子ISSN1433-0490
- 文件大小338.77KB
- 发表时间2003-10
- DOI10.1007/s00224-003-1082-x
- 页码431-460
Editorial --- MTT Editorial Policy StatementRosenbaum, F.J. · 1972
Editorial - MTT Editorial Policy Statement2005
Statement of purpose, Editorial Board and Editorial Staff2006
Editorial: Announcement of editorial policy statement on verification and validationDavidson,, Ronald C. · Physics of Plasmas · 2007
Editorial: Announcement of editorial policy statement on verification and validationDavidson, Ronald C. · Physics of Plasmas · 2007
Editorial statement1975
Editorial statementDr. Barbara Ross · 1976
Editorial statementDr. Barbara Ross · 1977
Editor's forewordArnold L. Rosenberg · Theory of Computing Systems · 1994
Universality of iterated networksR. F. Chamberlain; C. M. Fiduccia · Theory of Computing Systems · 1994
Primitives for asynchronous list compressionR. J. Anderson · Theory of Computing Systems · 1994
A lower bound for monotone perceptronsF. Green · Theory of Computing Systems · 1995
Guest editor's noteH. Raymond Strong · Theory of Computing Systems · 1993
The Failure Discovery problemVassos Hadzilacos; Joseph Y. Halpern · Theory of Computing Systems · 1993
Editor's forewordSandeep N. Bhatt · Theory of Computing Systems · 1994
An approach to emulating separable graphsBojana Obrenić · Theory of Computing Systems · 1994