MPG.eBooks - Author Search Results

Cover Image

1

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems

by Gorrieri, Roberto
Published 2017

Springer International Publishing

Cover Image

2

Introduction to Concurrency Theory : Transition Systems and CCS

by Gorrieri, Roberto, Versari, Cristian
Published 2015

Springer International Publishing

Cover Image

3

Foundations of Security Analysis and Design : Tutorial Lectures

by Focardi, Riccardo
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

4

Foundations of Security Analysis and Design II : FOSAD 20012002 Tutorial Lectures

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

5

Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

6

Computational Methods in Systems Biology : 7th International Conference, CMSB 2009

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

7

Foundations of Security Analysis and Design : FOSAD 2006/2007 Turtorial Lectures

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

8

Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

9

Foundations of Security Analysis and Design : Tutorial Lectures

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

10

Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

11

Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

by Degano, Pierpaolo
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

12

Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

13

Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”

Cover Image

14

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), Feb...

Published 1999

Springer US

Other Authors: “...Gorrieri, Roberto...”

Cover Image

15

Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Other Authors: “...Gorrieri, Roberto...”