Вы здесь

Главная

Bonsangue M. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes 2005 Abraham E., Bonsangue M. M., de Boer F. S., Steffen M. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.04.2005
СТ Infinite Intersection and Union Types for the Lazy Lambda Calculus 2001 Bonsangue M. M., Kok J. N. Lecture Notes in Computer Science 04.11.2001
СТ A Logical Interface Description Language for Components 2000 Arbab F., de Boer F. S., Bonsangue M. M. Lecture Notes in Computer Science 05.10.2000
СТ Comparing Software Architectures for Coordination Languages 1999 Bonsangue M. M., Kok J. N., Zavattaro G. Lecture Notes in Computer Science 18.05.1999
СТ An Approach to Object-Orientation in Action Systems 1998 Bonsangue M. M., Kok J. N., Sere K. Lecture Notes in Computer Science 25.06.1998
СТ Metric Predicate Transformers: Toward a Notion of Refinement for Concurrency 1995 Bonsangue M. M., Kok J. N., De Vink E. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Coalgebraic Methods in Computer Science: Revised Selected Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 2014 2014 Lecture Notes in Computer Science
  1. Bonsangue M. M.
 23.09.2014
СБ Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012 2013 Lecture Notes in Computer Science
  1. Giachino E.
  2. Hahnle R.
  3. de Boer F. S.
  4. Bonsangue M. M.
 07.10.2013
СБ Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011 2013 Lecture Notes in Computer Science
  1. Beckert B.
  2. Domiani F.
  3. de Boer F. S.
  4. Bonsangue M. M.
 19.02.2013
СБ Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010 2011 Lecture Notes in Computer Science
  1. Aichernig B. K.
  2. de Boer F. S.
  3. Bonsangue M. M.
 20.03.2012
СБ Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009 2010 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Hallerstede S.
  4. Leuschel M.
 10.03.2011
СБ Formal Methods for Components and Objects: Revised Lectures/7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2008 2009 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Madelaine E.
 21.11.2009
СБ Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007 2008 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 14.04.2009
СБ Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006 2008 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 07.06.2008
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./9th IFIP WG 6.1 International Conference FMOODS 2007. Paphos, Cyprus, June 2007 2007 Lecture Notes in Computer Science
  1. Bonsangue M. M.
  2. Johnsen E. B.
 26.06.2007
СБ Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005 2006 Lecture Notes in Artificial Intelligence
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 28.09.2006
СБ Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004 2005 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 06.12.2005
СБ Formal Methods for Components and Objects: Revised Lectures. Second International Symposium, FMCO 2003. Leiden, The Netherlands, November 2003 2004 Lecture Notes in Computer Science
  1. Deboer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. Deroever W. -P.
 12.02.2005
СБ Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002 2003 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 15.01.2004