Author books / Книги автора Roberto Gorrieri » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Roberto Gorrieri

book Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

pdf

Author: Roberto Gorrieri
Language: English
Year: 2017

00

29.01.2024

0

0

book Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

pdf

Author: Roberto Gorrieri (auth.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

pdf

Author: Roberto Gorrieri
Language: english
Year: 2017

00

27.01.2024

0

0

book Introduction to Concurrency Theory: Transition Systems and CCS

Introduction to Concurrency Theory: Transition Systems and CCS

pdf

Author: Roberto Gorrieri Cristian Versari (auth.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Coordination of Internet Agents: Models, Technologies, and Applications

Coordination of Internet Agents: Models, Technologies, and Applications

pdf

Author: Nadia Busi Paolo Ciancarini Roberto Gorrieri Gianluigi Zavattaro (auth.) Andrea Omicini Franco Zambonelli Matthias Klusch Robert Tolksdorf (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

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

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

pdf

Author: Alessandro Aldini Mario Bravetti (auth.) Riccardo Focardi Roberto Gorrieri (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

pdf

Author: Mario Bravetti Nadia Busi Roberto Gorrieri (auth.) Theo Dimitrakos Fabio Martinelli (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

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

pdf

Author: Martín Abadi (auth.) Alessandro Aldini Roberto Gorrieri (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

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

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

pdf

Author: Michael Backes Birgit Pfitzmann Michael Waidner (auth.) Alessandro Aldini Roberto Gorrieri Fabio Martinelli (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

pdf

Author: Nadia Busi Roberto Gorrieri Gianluigi Zavattaro (auth.) Scott F. Smith Carolyn L. Talcott (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0