2008

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday

 

2013

Coordination models and languages : 15th International Conference, COORDINATION 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Flo

COORDINATION (Conference) (15th : 2013 : Florence, Italy)



 

2016

Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, B

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

Switzerland : Springer, 2016

 

2019

Models, languages, and tools for concurrent and distributed programming : essays dedicated to Rocco De Nicola on the occasion of his 65th birthday

Cham, Switzerland : Springer, [2019]

 

2007

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Br

European Symposium on Programming (16th : 2007 : Braga, Portugal)



 

2016

Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

International Conference on Software Engineering and Formal Methods (14th : 2016 : Vienna, Austria)

Switzerland : Springer, 2016

 

2015

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering

Cham : Springer, 2015

 

2005

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

TGC 2005 (2005 : Edinburgh, Scotland)

Berlin ; New York : Springer, ©2005