Вы здесь

Главная

Zavattaro G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Foundations of Web Transactions 2005 Laneve C., Zavattaro G. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.07.2005
СТ Probabilistic and Prioritized Data Retrieval in the Linda Coodrination Model 2004 Bravetti M., Gorrieri R., Lucchi R., Zavattaro G. Lecture Notes in Computer Science 17.03.2004
СТ From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming 2004 Capizzi S., Solmi R., Zavattaro G. Lecture Notes in Computer Science 17.03.2004
СТ A Calculus for Long-Running Transactions 2003 Bocchi L., Laneve C., Zavattaro G. Lecture Notes in Computer Science 18.12.2003
СТ Process Calculi for Coordination: From Linda to JavaSpaces 2000 Busi N., Gorrieri R., Zavattaro G. Lecture Notes in Computer Science 17.06.2000
СТ On the Expressiveness of Event Notification in Data-Driven Coordination Languages 2000 Busi N., Zavattaro G. Lecture Notes in Computer Science 25.04.2000
СТ Generic Process Algebras for Asynchronous Communication 1999 de Boer F. S., Zavattaro G. Lecture Notes in Computer Science 15.09.1999
СТ A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service 1999 Gaspari M., Zavattaro G. Lecture Notes in Computer Science 09.07.1999
СТ Comparing Software Architectures for Coordination Languages 1999 Bonsangue M. M., Kok J. N., Zavattaro G. Lecture Notes in Computer Science 18.05.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Service-Oriented and Cloud Computing: Proc./1st European Conference, ESOCC 2012, Bertinoro, Italy, September 2012 2012 Lecture Notes in Computer Science
  1. De Paoli F.
  2. Pimentel E.
  3. Zavattaro G.
 01.10.2012
СБ CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009 2009 Lecture Notes in Computer Science
  1. Bravetti M.
  2. Zavattaro G.
 24.03.2010
СБ Formal Methods for Web Services: Advanced Lectures/9th Intl School on Formal Methods for the Design of Computer, Comm. and Software Systems, SFM 2009. Bertinoro, Italy, June 2009 2009 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Padovani L.
  3. Zavattaro G.
 24.07.2009
СБ Coordination Models and Languages: Proc./10th International Conference, COORDINATION 2008. Oslo, Norway, June 2008 2008 Lecture Notes in Computer Science
  1. Lea D.
  2. Zavattaro G.
 02.08.2008
СБ Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008 2008 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Degano P.
  3. Zavattaro G.
 02.08.2008
СБ Web Services and Formal Methods: Proc./Third International Workshop, WS-FM 2006. Vienna, Austria, September 2006 2006 Lecture Notes in Computer Science
  1. Bravetti M.
  2. Nunez M.
  3. Zavattaro G.
 20.10.2006
СБ Formal Techniques for Computer Systems and Business Processes: Proc./European Performance Engineering Workshop,EPEW 2005, Inter.Workshop WS-FM 2005. Versailles,France,September 2005 2005 Lecture Notes in Computer Science
  1. Bravetti M.
  2. Kloul L.
  3. Zavattaro G.
 28.10.2005
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./7th IFIP WG 6.1 International Conference, FMOODS 2005. Athens, Greece, June 2005 2005 Lecture Notes in Computer Science
  1. Steffen M.
  2. Zavattaro G.
 20.08.2005