Algorithms

Martin Abadi, Leslie Lamport, Stephan Merz

Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science, number 1169, (1996), 21-66. | November 1996

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceeding OOPSLA ’96 Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications | October 1996

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

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

Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro

Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI’96) | October 1996

G. Ramalingam, Thomas Reps

September 1996

Andy Gordon, Tom Melham

9th International Conference, TPHOLs’96 | August 1996

Lecture Notes in Computer Science (LNCS)

ISBN: 978-3-540-61587-3 (Print) 978-3-540-70641-0 (Online)

Manfred Broy, Leslie Lamport

Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, Vol 1169: pp. 1-4

Jack W. Stokes, Jame A. Ritcey

IEEE International Communications Conference ICC | June 1996

David Heckerman, Max Chickering

MSR-TR-96-12 | June 1996

Tools and Algorithms for the Construction and Analysis of Systems (TACAS '07)

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | June 1996, Vol 61(2): pp. 549-562