Home Advanced Search

Advanced Search - Page 1

Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Bortolussi, Diego Latella, Mieke Massink (auth.), Rocco De Nicola, Christine Julien (eds.)
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
  • PDF
  • English
  • Year: 2000
  • Author: Holger Pfeifer (auth.), Tommaso Bolognesi, Diego Latella (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.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Benjamin C. Pierce (auth.), Rocco De Nicola, Davide Sangiorgi (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.)
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.)
search