Robin Milner

发表

Robin Milner, R. Milner, 1978 .

Robin Milner, R. Milner, 1989, PHI Series in computer science.

Robin Milner, R. W. Weyhrauch, R. Milner, 1972 .

Robin Milner, R. Milner, 1979, Theoretical Computer Science.

Robin Milner, Ian Wand, 1996 .

Robin Milner, Davide Sangiorgi, 1992, CONCUR.

Robin Milner, R. Milner, 1978, J. Comput. Syst. Sci..

Robin Milner, Mads Tofte, Robert Harper, 1990 .

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, Ole Høgh Jensen, R. Milner, 2003 .

Robin Milner, R. Milner, 2006, Inf. Comput..

Robin Milner, Vladimiro Sassone, Marta Kwiatkowska, 2004 .

Robin Milner, 1992, Refine.

Robin Milner, 2009 .

Robin Milner, Michael J. C. Gordon, David N. Turner, 1978, POPL.

Robin Milner, 1983, The Analysis of Concurrent Systems.

Robin Milner, R. Milner, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, R. W. Weyhrauch, R. Milner, 1972 .

Robin Milner, R. Milner, 2008, LIX.

Robin Milner, Ole Høgh Jensen, R. Milner, 2003, POPL '03.

Robin Milner, R. Milner, 1982 .

Robin Milner, 1987, J. Inf. Technol..

Robin Milner, R. Milner, 2009 .

Robin Milner, Kim G. Larsen, R. Milner, 1992, Inf. Comput..

Robin Milner, R. Milner, 1992 .

Robin Milner, 2006, Trans. Comp. Sys. Biology.

Robin Milner, Lars Birkedal, Troels Christoffer Damgaard, 2007, GT-VC@CONCUR.

Robin Milner, James J. Leifer, 2000 .

Robin Milner, R. Milner, 1978, MFCS.

Robin Milner, 2008, Concurrency, Graphs and Models.

Robin Milner, R. Milner, 1972, Proving Assertions About Programs.

Robin Milner, R. Milner, 1983, Theor. Comput. Sci..

Robin Milner, 1968, Comput. J..

Robin Milner, R. Milner, 1993 .

Robin Milner, R. Milner, 2004 .

Robin Milner, R. Milner, 1994, IFIP Congress.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, R. Milner, 1993, CACM.

Robin Milner, Ian Wand, 1996 .

Robin Milner, Ole Høgh Jensen, 2003 .

Robin Milner, R. Milner, 2004, FoSSaCS.

Robin Milner, R. Milner, 2001 .

Robin Milner, R. Milner, 1993 .

Robin Milner, R. Milner, 1993 .

Robin Milner, 2008, BCS Int. Acad. Conf..

Robin Milner, R. Milner, 2003, Lectures on Concurrency and Petri Nets.

Susan Stepney, John A. Clark, Robin Milner, 2006, Int. J. Parallel Emergent Distributed Syst..

Robin Milner, Jean Krivine, Angelo Troina, 2008, MFPS.

Robin Milner, Ian Wand, 1996 .

Robin Milner, R. Milner, 2004 .

Robin Milner, 1992, CONCUR.

Robin Milner, Davide Sangiorgi, R. Milner, 1992, ICALP.

Robin Milner, 2001, ICATPN.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

Robin Milner, James J. Leifer, R. Milner, 2006, Mathematical Structures in Computer Science.

Robin Milner, Luís Damas, R. Milner, 1982, POPL '82.

Robin Milner, 1984 .

Robin Milner, 1990, ICALP.

Robin Milner, James J. Leifer, R. Milner, 2000, CONCUR.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, David N. Turner, Dave Berry, 1992, POPL '92.

Robin Milner, 2009, CONCUR.

Robin Milner, R. Milner, 1969 .

Robin Milner, 1987, TAPSOFT, Vol.1.

Robin Milner, James J. Leifer, 2002, Formal Aspects of Computing.

Robin Milner, 1993, CSL.

Robin Milner, George Milne, G. Milne, 1979, JACM.

Robin Milner, R. Milner, 1971, IJCAI.

Robin Milner, Lars Birkedal, Troels Christoffer Damgaard, 2013, Formal Aspects of Computing.

Robin Milner, R. Milner, 1982 .

Robin Milner, David Walker, Joachim Parrow, 1992, Inf. Comput..

Susan Stepney, John A. Clark, Robin Milner, 2005, Parallel Algorithms Appl..

Robin Milner, R. Milner, 1970, J. Comput. Syst. Sci..

Robin Milner, David A. Duce, F. B. Chambers, 1984 .

Robin Milner, James J. Leifer, 2004 .

Robin Milner, R. Milner, 1984, J. Comput. Syst. Sci..

Robin Milner, Mads Tofte, Robert Harper, 1988 .

Robin Milner, 1972, International Sympoisum on Theoretical Programming.

Robin Milner, R. Milner, 1980, Lecture Notes in Computer Science.

Robin Milner, Ole Høgh Jensen, R. Milner, 2004 .

Robin Milner, R. Milner, 1977, Theor. Comput. Sci..

Robin Milner, R. Milner, 1990, Theor. Comput. Sci..

Robin Milner, R. Milner, 1990, Mathematical Structures in Computer Science.

Robin Milner, R. Milner, 1979, JACM.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, 2001, POPL '01.

Robin Milner, R. Milner, 1980 .

Robin Milner, R. Milner, 1986, IFIP Congress.

Robin Milner, 1997 .

Robin Milner, Mads Tofte, Robert Harper, 1987 .

Robin Milner, Mads Tofte, Robert Harper, 1988 .

Robin Milner, Yves Bertot, Grard Huet, 2009 .

Karen A. Frenkel, Robin Milner, R. Milner, 1993, CACM.

Robin Milner, 1997, ICLP 1998.

Robin Milner, Ian Wand, 1996 .

Robin Milner, Mads Tofte, R. Milner, 1990 .

Robin Milner, R. Milner, 1982, PODC '82.

Robin Milner, David Walker, Joachim Parrow, 1991, Theor. Comput. Sci..

Robin Milner, Kim G. Larsen, R. Milner, 1987, ICALP.

Robin Milner, Mads Tofte, Robert Harper, 1987 .

Robin Milner, R. Milner, 1979, MFCS.

Robin Milner, Akinori Yonezawa, Peter Wegner, 1990, OOPSLA/ECOOP.

Robin Milner, R. Milner, 1991, VDM Europe.

Robin Milner, Ole Høgh Jensen, R. Milner, 2003, ACM-SIGACT Symposium on Principles of Programming Languages.

Robin Milner, R. Milner, 2002, ICGT.

Robin Milner, 1980 .

Robin Milner, David Walker, Joachim Parrow, 1992, Inf. Comput..

Robin Milner, Matthew Hennessy, R. Milner, 1985, JACM.

Robin Milner, C. A. R. Hoare, R. Milner, 2005, Comput. J..

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, R. Milner, 1996, Acta Informatica.

Robin Milner, 1995, Category Theory and Computer Science.

Robin Milner, R. Milner, 1983, The Analysis of Concurrent Systems.

Robin Milner, Michael J. C. Gordon, Christopher P. Wadsworth, 1979, Lecture Notes in Computer Science.

Robin Milner, Michael J. C. Gordon, Christopher P. Wadsworth, 1978 .

Robin Milner, 2006, Electron. Notes Theor. Comput. Sci..

Robin Milner, Matthew Hennessy, R. Milner, 1980, ICALP.

Robin Milner, John Power, Alex Mifsud, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

Robin Milner, 1983, The Analysis of Concurrent Systems.

Robin Milner, Mads Tofte, R. Milner, 1991, Theor. Comput. Sci..

Oscar Nierstrasz, Robin Milner, Akinori Yonezawa, 1991, Object-Based Concurrent Computing.

Robin Milner, R. Milner, 1988, Fifth Generation Computer Systems.

Robin Milner, 2005, Formal Methods in Software and Systems Modeling.

Robin Milner, David Walker, Joachim Parrow, 1991, CONCUR.

Robin Milner, R. Milner, 1984, LFP '84.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, Mikkel Bundgaard, R. Milner, 2010, Reflections on the Work of C. A. R. Hoare.

Robin Milner, R. Milner, 2006, Comput. J..

Robin Milner, R. Milner, 2005, Mathematical Structures in Computer Science.

Robin Milner, David MacQueen, David B. MacQueen, 1986 .

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, 2005, Processes, Terms and Cycles.

Robin Milner, Mads Tofte, Robert Harper, 1987, TAPSOFT, Vol.2.

Robin Milner, Mads Tofte, Robert Harper, 1997 .

Robin Milner, R. Milner, 1984, Seminar on Concurrency.

Robin Milner, R. Milner, Mads Torte, 1991 .

Robin Milner, 1984 .

Robin Milner, James J. Leifer, Gian Luca Cattani, 2000 .

Robin Milner, Joachim Parrow, J. A. Bergstra, 1991 .

Robin Milner, R. Milner, 1995 .

Robin Milner, R. Milner, 1993 .