Algorithms

David Lomet

January 1998

PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones

Journal of Functional Programming | January 1998, Vol 8: pp. 23-60

Leslie Lamport

Compositionality: The Significant Difference (Proceedings of the COMPOS’97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997

Paul Larson

MSR-TR-97-36 | December 1997

Bo Thiesson, Chris Meek, Max Chickering, David Heckerman

MSR-TR-97-30 | December 1997

Revised May 1998

Tolga Acar

December 1997

A. Mehrotra, Shaz Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli

Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on | November 1997

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1997

Hee Cheol Yun, Brian Guenter, Russell M. Mersereau

ACM Transactions on Graphics (TOG) | October 1997, Vol 16(4): pp. 359-396

Wei Chen

In Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG’97), Saarbruecken, Germany, Lecture Notes on Computer Science 1320, Springer-Verlag, September 1997, pp. 126-140. | September 1997