Peter D. Mosses

发表

Arie van Deursen, Peter D. Mosses, 1993, AMAST.
Peter D. Mosses, 1992 .
Peter D. Mosses, P. Mosses, 1984, Semantics of Data Types.
Peter D. Mosses, 2015, Sci. Comput. Program..
Peter D. Mosses, Padmanabhan Krishnan, P. Mosses, 1992, Formal Techniques in Real-Time and Fault-Tolerant Systems.
Peter D. Mosses, Mark van den Brand, Jørgen Iversen, 2004 .
José Meseguer, Peter D. Mosses, Edward Hermann Haeusler, 2000, AMAST.
Peter D. Mosses, P. Mosses, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Peter D. Mosses, 2004 .
Hélène Kirchner, Peter D. Mosses, 2001, J. Log. Comput..
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, Bernd Krieg-Brückner, 2004 .
Peter D. Mosses, Casper Bach Poulsen, 2016, J. Log. Algebraic Methods Program..
Peter D. Mosses, 2005, J. Univers. Comput. Sci..
Peter D. Mosses, Gordon D. Plotkin, G. Plotkin, 1987, SIAM J. Comput..
Peter D. Mosses, P. Mosses, 2004, Lecture Notes in Computer Science.
Peter D. Mosses, P. Mosses, W. Schreiner, 1995, LICS 1995.
Peter D. Mosses, Jørgen Iversen, 2004 .
Peter D. Mosses, 2004 .
José Meseguer, Peter D. Mosses, Edward Hermann Haeusler, 2002, LOPSTR.
Peter D. Mosses, P. Mosses, 2004, J. Log. Algebraic Methods Program..
Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, 1995, HOA.
Peter D. Mosses, P. Mosses, 1988, POPL '89.
Peter D. Mosses, 1992 .
Arie van Deursen, Peter D. Mosses, P. Mosses, 1996, AMAST.
Peter D. Mosses, 1992 .
Peter D. Mosses, 1992 .
Hélène Kirchner, Peter D. Mosses, H. Kirchner, 1999, AMAST.
Peter D. Mosses, Paolo Torrini, Casper Bach Poulsen, 2015, PEPM.
Peter D. Mosses, Michel Bidoit, M. Bidoit, 2004, Lecture Notes in Computer Science.
Peter D. Mosses, Mark van den Brand, Jørgen Iversen, 2004, LDTA@ETAPS.
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, P. Mosses, 1999, CSL.
Peter D. Mosses, Bernd Krieg-Brückner, 2004 .
Peter D. Mosses, Gregory Kucherov, Pierre Lescanne, 1996, Theor. Comput. Sci..
Peter D. Mosses, 1997 .
Peter D. Mosses, Michel Bidoit, Ens de Cachan, 2001 .
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, P. Mosses, 1982, Formal Description of Programming Concepts.
Peter D. Mosses, 1992 .
Peter D. Mosses, 1974, MFCS.
Peter D. Mosses, 1992 .
Peter D. Mosses, P. Mosses, 1992, REX Workshop.
Peter D. Mosses, Mark van den Brand, Jørgen Iversen, 2004, LDTA@ETAPS.
Peter D. Mosses, L. Thomas van Binsbergen, Neil Sculthorpe, 2019, J. Log. Algebraic Methods Program..
Irek Ulidowski, Peter D. Mosses, 2006, Electron. Notes Theor. Comput. Sci..
Peter D. Mosses, L. Thomas van Binsbergen, Neil Sculthorpe, 2016, MODULARITY.
Peter D. Mosses, 1988, ADT.
Peter D. Mosses, 2008, BCS Int. Acad. Conf..
Peter D. Mosses, Casper Bach Poulsen, 2014, ESOP.
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, 2009, SAVCBS '09.
Peter D. Mosses, P. Mosses, 2000, High. Order Symb. Comput..
Peter D. Mosses, 1986, ADT.
Peter D. Mosses, Valentin M. Antimirov, P. Mosses, 1993, Developments in Language Theory.
Peter D. Mosses, Mark van den Brand, Jørgen Iversen, 2006, Sci. Comput. Program..
Peter D. Mosses, 2006, Essays Dedicated to Joseph A. Goguen.
Peter D. Mosses, David A. Watt, P. Mosses, 1986, Formal Description of Programming Concepts.
Peter D. Mosses, Rob J. van Glabbeek, 2007, Electron. Notes Theor. Comput. Sci..
Mogens Nielsen, Peter D. Mosses, Michael I. Schwartzbach, 1996, Theor. Comput. Sci..
Peter D. Mosses, 1992 .
Peter D. Mosses, David A. Watt, 1986 .
Peter D. Mosses, P. Mosses, 2011, Formal Aspects of Computing.
Peter D. Mosses, 2007, Formal Methods and Hybrid Real-Time Systems.
Peter D. Mosses, 1992 .
Peter D. Mosses, P. Mosses, 1992, COMPASS/ADT.
Peter D. Mosses, 1999, MFCS.
Marco Tulio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior, 2008, J. Univers. Comput. Sci..
Peter D. Mosses, 1999 .
Peter D. Mosses, 1992 .
Peter D. Mosses, P. Mosses, 2002, AMAST.
Peter D. Mosses, Ferdinand Vesely, 2015, Logic, Rewriting, and Concurrency.
Peter D. Mosses, P. Mosses, 2010 .
Peter D. Mosses, 1992 .
Peter D. Mosses, 1989, Formal Description of Programming Concepts.
Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, 1995, COMPASS/ADT.
Peter D. Mosses, P. Mosses, 1981, ICFPC.
Peter D. Mosses, 1992 .
Peter D. Mosses, Kyung-Goo Doh, P. Mosses, 2001, Sci. Comput. Program..
Peter D. Mosses, 1992 .
Peter D. Mosses, 2018, Theor. Comput. Sci..
Peter D. Mosses, 1992 .
Peter D. Mosses, Kyung-Goo Doh, 2001, Electron. Notes Theor. Comput. Sci..
Peter D. Mosses, P. Mosses, 2001, Current Trends in Theoretical Computer Science.
Peter D. Mosses, 1989, STACS.
Peter D. Mosses, D. A. Watt, H. J. Boom, 1989 .
Peter D. Mosses, Martin Churchill, P. Mosses, 2013, FoSSaCS.
Mohammad Reza Mousavi, Peter D. Mosses, Martin Churchill, 2013, CONCUR.
Peter D. Mosses, P. Mosses, 1996, MFCS.
Peter D. Mosses, P. Mosses, 2019, J. Comput. Lang..
Irek Ulidowski, Peter D. Mosses, 2007, Theor. Comput. Sci..
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, 1983, The Analysis of Concurrent Systems.
Peter D. Mosses, Mark J. New, P. Mosses, 2009, SOS@ICALP.
Peter D. Mosses, P. Mosses, 1991, COMPASS/ADT.
Peter D. Mosses, Michel Bidoit, Bernd Krieg-Brückner, 2002, Theor. Comput. Sci..
Peter D. Mosses, 2002, Electron. Notes Theor. Comput. Sci..
Peter D. Mosses, Jørgen Iversen, 2005, IEE Proc. Softw..
Peter D. Mosses, 2004 .
Mohammad Reza Mousavi, Peter D. Mosses, Michel A. Reniers, 2010, EXPRESS.
Peter D. Mosses, 2006, Electron. Notes Theor. Comput. Sci..
Peter D. Mosses, Rob J. van Glabbeek, 2009, Inf. Comput..
Peter D. Mosses, 1992 .
Peter D. Mosses, 1998, WADT.
Peter D. Mosses, Neil Sculthorpe, Paolo Torrini, 2016, WoC.
Peter D. Mosses, 2000 .
Peter D. Mosses, 2004 .
Peter D. Mosses, Adrian Johnstone, Elizabeth Scott, 2009, Innovations in Systems and Software Engineering.
Peter D. Mosses, 2000 .
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, Martin A. Musicante, P. Mosses, 1994, FME.
Peter D. Mosses, Neil Sculthorpe, Paolo Torrini, 2015, LNCS Trans. Aspect Oriented Softw. Dev..
Peter D. Mosses, 2000, IFIP TCS.
Peter D. Mosses, 2004, GPCE.
Peter D. Mosses, 1992 .
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, P. Mosses, 1992 .
Peter D. Mosses, Ferdinand Vesely, P. Mosses, 2014, WRLA.
Peter D. Mosses, P. Mosses, 2001, Ershov Memorial Conference.
Peter D. Mosses, Paolo Torrini, Martin Churchill, 2014, LNCS Trans. Aspect Oriented Softw. Dev..
Peter D. Mosses, 1992 .
Peter D. Mosses, 2003 .
Carl A. Gunter, Peter D. Mosses, Dana S. Scott, 1989 .
Peter D. Mosses, 1992 .
Peter D. Mosses, Michel Bidoit, 2004 .
Peter D. Mosses, P. Mosses, 1988, STACS.
Peter D. Mosses, Gregory Kucherov, Pierre Lescanne, 1996 .
Peter D. Mosses, P. Mosses, 1992 .
Peter D. Mosses, 1988 .
Peter D. Mosses, P. Mosses, 1989 .
Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, 1996 .
Peter D. Mosses, P. Mosses, 2021, ISoLA.
Peter D. Mosses, H. Kirchner, Claus Hintermeier, 1996 .
Peter D. Mosses, M-C Gaudel, 1992 .
Peter D. Mosses, K. Larsen, P. Mosses, 1996 .