论文与出版物 Bisimilarity as a Theory of Functional Programming Andy Gordon MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference | March 1995
论文与出版物 Structure and Chance: Melding Logic and Probability for Software Debugging Lisa Burnell, Eric Horvitz MSR-TR-95-12 | February 1995
论文与出版物 Cycletrees: Flexible Interconnection Graphs for Parallel Computing Margus Veanes, Jonas Barklund 97 | February 1995
论文与出版物 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
论文与出版物 The hBPi/-tree: A Modified hB-tree Supporting Concurrency, Recovery and Node Consolidation Georgio Evangelidis, David Lomet, Betty Salzberg January 1995
论文与出版物 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
论文与出版物 Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | 作者：Oxford University Press | 1995 | Specification and Validation Methods edition
论文与出版物 On Subtyping and Matching Martin Abadi, Luca Cardelli European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995
论文与出版物 Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
