Roberto Gorrieri is a professor in the Università di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook « Introduction to Concurrency Theory: Transition Systems and CCS » in 2015, and he has authored over 140 formal academic publications. He received his Ph D in Computer Science from the Università di Pisa.
11 Ebooks par Roberto Gorrieri
Roberto Gorrieri: Process Algebras for Petri Nets
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contri …
PDF
Anglais
€85.59
Paolo Ciancarini & Alessandro Fantechi: Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods f …
PDF
Anglais
DRM
€228.19
Roberto Gorrieri & Cristian Versari: Introduction to Concurrency Theory
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means a …
PDF
Anglais
DRM
€57.90
Riccardo Focardi & Roberto Gorrieri: Foundations of Security Analysis and Design II
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and …
PDF
Anglais
DRM
€57.78
Alessandro Aldini & Roberto Gorrieri: Foundations of Security Analysis and Design III
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of – search groups, events, conferences, and s …
PDF
Anglais
DRM
€50.97
Roberto Gorrieri & Heike Wehrheim: Formal Methods for Open Object-Based Distributed Systems
…
PDF
Anglais
DRM
€57.99
Riccardo Focardi & Roberto Gorrieri: Foundations of Security Analysis and Design
…
PDF
Anglais
DRM
€57.78
Alessandro Aldini & Roberto Gorrieri: Foundations of Security Analysis and Design
…
PDF
Anglais
DRM
€57.60
Alessandro Aldini & Gilles Barthe: Foundations of Security Analysis and Design V
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum …
PDF
Anglais
DRM
€50.97
Pierpaolo Degano & Roberto Gorrieri: Computational Methods in Systems Biology
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Tre …
PDF
Anglais
DRM
€113.51
Alessandro Aldini & Roberto Gorrieri: Foundations of Security Analysis and Design VI
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectru …
PDF
Anglais
DRM
€57.99
