Equivalence is in the Eye of the Beholder
Yuri Gurevich, James K. Huggins · Theoretical Computer Science (179) 1-2 (1997), 353-380 · 1998
Abstract onlyNot checked
Software
Filters2 filters applied
6 papersQuestions on this topic
Case Study in Survivable Network System Analysis
Robert Ellison, Rick Linger, Thomas Longstaff et al. · 1998
Abstract onlyNot checked
The Design and Architecture of the Microsoft Cluster Service -- A Practical Approach to High-Availability and Scalability
Werner Vogels, Dan Dumitriu, Ken Birman et al. · Proceedings of FTCS'98, June 23-25, 1998 in Munich, Germany · 1998
Abstract onlyNot checked
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Boerger, James K. Huggins · Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127 · 1998
Abstract onlyNot checked
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon · Journal of Logic Programming, 25(2)-119:161, 1995 · 1998
Abstract onlyNot checked
Developing numerical libraries in Java
Ronald F. Boisvert, Jack J. Dongarra, Roldan Pozo et al. · 1998
Abstract onlyNot checked