Roberto Gorrieri - Böcker

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

Syntax and Semantics of Petri Nets

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

Introduction to Concurrency Theory

Transition Systems and CCS

Introduction to Concurrency Theory

Transition Systems and CCS

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Foundations of Security Analysis and Design II

FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Foundations of Security Analysis and Design

Tutorial Lectures

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Foundations of Security Analysis and Design

FOSAD 2006/2007 Turtorial Lectures

Foundations of Security Analysis and Design V

FOSAD 2008/2009 Tutorial Lectures

Computational Methods in Systems Biology

7th International Conference, CMSB 2009