R
Rocco De Nicola
8 works on record
Works
Coordination models and languages
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)
Software Engineering and Formal Methods
Software, Services, and Systems
Programming Languages and Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Two complete axiom systems for a theory of communicating sequential processes
Two complete axiom systems for a theory of communicating sequential processes