Roberto Gorrieri · 5 obras en el catálogoObrasFormal methods for open object-based distributed systemsFoundations of security analysis and design IIFoundations of security analysis and designIntroduction to Concurrency TheoryProcess Algebras for Petri Nets