Gorrieri, Roberto
Gorrieri, Roberto, 1962-....
Roberto Gorrieri obor působnosti informatika
VIAF ID: 54392393 ( Personal )
Permalink: http://viaf.org/viaf/54392393
Preferred Forms
- 200 _ | ‡a Gorrieri ‡b Roberto
-
- 100 1 0 ‡a Gorrieri, Roberto
-
- 100 1 _ ‡a Gorrieri, Roberto
-
- 100 1 _ ‡a Gorrieri, Roberto
-
-
- 100 1 _ ‡a Gorrieri, Roberto ‡d 1962-
-
- 100 1 _ ‡a Gorrieri, Roberto, ‡d 1962-....
- 100 0 _ ‡a Roberto Gorrieri ‡c obor působnosti informatika
4xx's: Alternate Name Forms (1)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings | |
- Berlin, 1997. | |
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings | |
FOSAD 2007/2008/2009 tutorial lectures | |
FOSAD 2010 | |
Foundations of security analysis and design : tutorial lectures | |
ICALP '97 | |
Introduction to Concurrency Theory : Transition Systems and CCS | |
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems | |
Vertical bisimulation | |
Workshop on issues in the theory of security, European Joint Conferences on Theory and Practice of Software 2003, April 5-13, Warsaw, Poland : proceedings of an international workshop |