Authors: MISLOVE MW SCHMIDT DA

Citation: Mw. Mislove et Da. Schmidt, MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS - FOREWORD, Theoretical computer science, 177(1), 1997, pp. 1-1

Authors: MISLOVE MW OLES FJ

Citation: Mw. Mislove et Fj. Oles, FULL ABSTRACTION AND RECURSION, Theoretical computer science, 151(1), 1995, pp. 207-256

Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF

Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .3. CONCURRENCY THEORY- FOREWORD, Theoretical computer science, 138(2), 1995, pp. 241-241

Authors: MISLOVE MW ROSCOE AW SCHNEIDER SA

Citation: Mw. Mislove et al., FIXED-POINTS WITHOUT COMPLETENESS, Theoretical computer science, 138(2), 1995, pp. 273-314

Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF

Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP-92), OXFORD, APRIL 1992 .2. LAMBDA-CALCULUS AND DOMAIN THEORY - FOREWORD, Theoretical computer science, 136(1), 1994, pp. 1-1

Authors: MISLOVE MW REED GM ROSCOE AW WACHTER RF

Citation: Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD, Theoretical computer science, 135(1), 1994, pp. 1-1