Home Advanced Search

Advanced Search - Page 1

Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.)
Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Gérard Boudol (auth.), S. Arun-Kumar, Naveen Garg (eds.)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Gérard Boudol (auth.), S. Arun-Kumar, Naveen Garg (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2008
  • Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
search