2009

CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings

International Conference on Concurrency Theory (20th : 2009 : Bologna, Italy)



 

2008

Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings

COORDINATION (Conference) (10th : 2008 : Oslo, Norway)



 

2008

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 200

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)



 

2005

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (7th : 2005 : Athens, Greece)



 

2009

Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lect

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy)



 

2005

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill

EPEW (Workshop) (2005 : Versailles, France)

Berlin ; New York : Springer, ©2005

 

2012

Service-oriented and cloud computing : first European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

ESOCC (Conference) (1st : 2012 : Bertinoro, Italy)



 

2006

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

WS-FM 2006 (2006 : Vienna, Austria)