東華大學圖書館 |

Works:	1 works in 2 publications in 1 languages

Foundations of security analysis and design = tutorial lectures / by: Gorrieri, Roberto.; SpringerLink (Online service); Focardi, Riccardo.; International School on Foundations of Security Analysis and Design ((2000 :) (Language materials, printed)

Automata, languages, and programming = 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / by: Degano, Pierpaolo.; Gorrieri, Roberto.; Marchetti-Spaccamela, Alberto.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming ((1997 :) (Language materials, printed)

Foundations of security analysis and design II = FOSAD 2001/2002 turorial lectures / by: Focardi, Riccardo, (1970-); Gorrieri, Roberto.; SpringerLink (Online service); International School on Foundations of Security Analysis and Design. (Language materials, printed)

Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service) (Language materials, printed)

Foundations of security analysis and design II = FOSAD 2001/2002 tutorial lectures / by: Focardi, Riccardo, (1970-); Gorrieri, Roberto.; NetLibrary, Inc.; International School on Foundations of Security Analysis and Design. (Language materials, printed)

Introduction to concurrency theory = transition systems and CCS / by: Gorrieri, Roberto.; Versari, Cristian.; SpringerLink (Online service) (Electronic resources)

Process algebras for Petri nets = the alphabetization of distributed systems / by: Gorrieri, Roberto.; SpringerLink (Online service) (Electronic resources)

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / by: Gorrieri, Roberto.; Wehrheim, Heike.; International Conference on Formal Methods for Open Object-Based Distributed Systems (2006 :) (Language materials, printed)