Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Roberto Gorrieri | lit.salon

Author

Roberto Gorrieri

5 works

2001–2017 across 5 dated works

No biography is available yet.

Start with

Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science)2001
Foundations of security analysis and design II: FOSAD 2001/2002 turorial lectures2004
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Heike Wehrheim
Introduction to Concurrency Theory Transition Systems and CCS2015
With Cristian Versari

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Heike Wehrheim
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science)2001
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Introduction to Concurrency Theory Transition Systems and CCS2015
With Cristian Versari
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Foundations of security analysis and design II: FOSAD 2001/2002 turorial lectures2004
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Process Algebras for Petri Nets The Alphabetization of Distributed Systems2017
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Roberto Gorrieri.

The conversation is still open.

There is no public salon activity to show for Roberto Gorrieri yet.