Rocco De Nicola

Coordination models and languages

Software Engineering and Formal Methods

Software, Services, and Systems

Programming Languages and Systems

Trustworthy global computing

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science)

Coordination Models and Languages

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems