Publication Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995
Publication Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995
Publication Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
Publication Time and space profiling for non-strict higher-order functional languages Patrick M. Sansom, Simon Peyton Jones 22nd ACM Symposium on Principles of Programming Languages (POPL’95) | January 1995
Publication The hBPi/-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation Georgio Evangelidis, David Lomet, Betty Salzberg January 1995
Publication The Bakery Algorithm: Yet Another Specification and Verification Egon Börger, Yuri Gurevich, Dean Rosenzweig 1995 Oxford University Press book, Specification and Validation Methods | January 1995
Publication Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition
Publication On Subtyping and Matching Martin Abadi, Luca Cardelli European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995
Publication Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
